Skip to content

Actions: PatrickMassot/verbose-lean4

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
8 workflow runs
8 workflow runs

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
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
Adding Spanish translation Lean Action CI #4: Pull request #30 opened by navimath
Action required navimath:master
navimath:master
Action required
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