Skip to content

Actions: PatrickMassot/verbose-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump to Lean 4.31.0 Lean Action CI #26: Commit 60ff548 pushed by PatrickMassot
3m 2s master
master
3m 2s
Lean Action CI Lean Action CI #25: by PatrickMassot
3m 19s v4.31.0
v4.31.0
3m 19s
Bump to Lean 4.30.0 Lean Action CI #24: Commit e28aec5 pushed by PatrickMassot
1m 22s v4.30.0
v4.30.0
1m 22s
Bump to Lean 4.30.0 Lean Action CI #23: Commit e28aec5 pushed by PatrickMassot
3m 39s master
master
3m 39s
Update to v4.29.0 (#37) Lean Action CI #22: Commit 26ef81b pushed by PatrickMassot
3m 41s v4.29.0
v4.29.0
3m 41s
Update to v4.29.0 (#37) Lean Action CI #21: Commit 26ef81b pushed by PatrickMassot
3m 30s master
master
3m 30s
Update to v4.29.0 Lean Action CI #20: Pull request #37 opened by pimotte
3m 49s impermeable:update/v4.29.0-stacked
impermeable:update/v4.29.0-stacked
3m 49s
Added conclude by contradiction construction (#34) Lean Action CI #19: Commit ee25c68 pushed by PatrickMassot
6m 26s master
master
6m 26s
Added conclude by contradiction construction Lean Action CI #18: Pull request #34 synchronize by pimotte
2m 5s impermeable:feature/conclude-by-contradiction
impermeable:feature/conclude-by-contradiction
2m 5s
Added conclude by contradiction construction Lean Action CI #17: Pull request #34 synchronize by pimotte
3m 26s impermeable:feature/conclude-by-contradiction
impermeable:feature/conclude-by-contradiction
3m 26s
Added conclude by contradiction construction Lean Action CI #15: Pull request #34 opened by pimotte
3m 52s impermeable:feature/conclude-by-contradiction
impermeable:feature/conclude-by-contradiction
3m 52s
Update to v4.28.0 Lean Action CI #14: Pull request #32 synchronize by pimotte
3m 39s impermeable:update/v4.28.0-clean
impermeable:update/v4.28.0-clean
3m 39s
Merge pull request #27 from impermeable/bugfix/calc-since Lean Action CI #9: Commit dcb0689 pushed by PatrickMassot
3m 35s master
master
3m 35s
Catch runtime exceptions in trySimpOnly Lean Action CI #8: Pull request #27 synchronize by pimotte
2m 22s impermeable:bugfix/calc-since
impermeable:bugfix/calc-since
2m 22s
Merge pull request #29 from impermeable/anonymous-compute-typo-fix Lean Action CI #7: Commit 2d42fb5 pushed by PatrickMassot
3m 5s master
master
3m 5s
Fix typo(s) around anonymous compute lemmas in Extension infrastructure Lean Action CI #6: Pull request #29 synchronize by jim-portegies
2m 51s impermeable:anonymous-compute-typo-fix
impermeable:anonymous-compute-typo-fix
2m 51s
Fix backtracking issue in compute tactic. Lean Action CI #5: Commit 89f91a0 pushed by PatrickMassot
3m 21s master
master
3m 21s
Catch runtime exceptions in trySimpOnly Lean Action CI #2: Pull request #27 opened by pimotte
2m 33s impermeable:bugfix/calc-since
impermeable:bugfix/calc-since
2m 33s
Merge pull request #25 from impermeable/ci/build Lean Action CI #1: Commit 3bb9391 pushed by PatrickMassot
3m 23s master
master
3m 23s