Actions: leanprover-community/quote4
Actions
Showing runs from all workflows
208 workflow runs
208 workflow runs
run_tac
& by_elab
. (#88)
ci
#444:
Commit 3e9af9d
pushed
by
eric-wieser
run_tac
& by_elab
.
ci
#443:
Pull request #88
synchronize
by
mirefek
run_tac
& by_elab
.
ci
#437:
Pull request #88
synchronize
by
eric-wieser
run_tac
& by_elab
.
ci
#436:
Pull request #88
synchronize
by
mirefek
run_tac
& by_elab
.
ci
#435:
Pull request #88
synchronize
by
eric-wieser
run_tac
& by_elab
.
ci
#434:
Pull request #88
synchronize
by
eric-wieser