Skip to content
Lean (build)

Merge pull request #29 from objectionary/refactor-church-rosser #110

Sign in to view logs

Merge pull request #29 from objectionary/refactor-church-rosser

Merge pull request #29 from objectionary/refactor-church-rosser #110

Triggered via push March 19, 2024 10:32
@fizrukfizruk
pushed 8e6f619
master
Status Success
Total duration 2m 45s
Artifacts –

lean.yml

on: push
Build
2m 37s
Build
Fit to window
Zoom out
Zoom in