Skip to content

Actions: leanprover/comparator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
154 workflow runs
154 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
chore: replace lean4checker dependency with upstreamed replay Lean Action CI #175: Pull request #55 opened by Kha
1m 14s uppies
uppies
1m 14s
chore: replace lean4checker dependency with upstreamed replay Lean Action CI #174: Commit 3c972ca pushed by Kha
1m 17s uppies
uppies
1m 17s
doc: acknowledge AIMO Lean Action CI #173: Commit 099775b pushed by hargoniX
1m 12s master
master
1m 12s
chore: bump toolchain to v4.32.0-rc1 (#54) Lean Action CI #172: Commit 1b82ba0 pushed by Garmelon
1m 21s v4.32.0-rc1
v4.32.0-rc1
1m 21s
chore: bump toolchain to v4.32.0-rc1 (#54) Lean Action CI #171: Commit 1b82ba0 pushed by Garmelon
1m 29s master
master
1m 29s
chore: bump toolchain to v4.32.0-rc1 Lean Action CI #170: Pull request #54 opened by Garmelon
1m 11s bump-to-v4.32.0-rc1
bump-to-v4.32.0-rc1
1m 11s
chore: bump toolchain to v4.32.0-rc1 Lean Action CI #169: Commit 2762d81 pushed by Garmelon
1m 19s bump-to-v4.32.0-rc1
bump-to-v4.32.0-rc1
1m 19s
chore: bump toolchain to v4.31.0 (#53) Lean Action CI #168: Commit fd2e25d pushed by Garmelon
1m 17s v4.31.0
v4.31.0
1m 17s
chore: bump toolchain to v4.31.0 (#53) Lean Action CI #167: Commit fd2e25d pushed by Garmelon
1m 19s master
master
1m 19s
chore: bump toolchain to v4.31.0 Lean Action CI #166: Pull request #53 opened by Garmelon
1m 30s bump-to-v4.31.0
bump-to-v4.31.0
1m 30s
chore: bump toolchain to v4.31.0 Lean Action CI #165: Commit 3411b6c pushed by Garmelon
1m 26s bump-to-v4.31.0
bump-to-v4.31.0
1m 26s
feat: JSON verification reports Lean Action CI #164: Pull request #50 synchronize by augustepoiroux
Action required augustepoiroux:upstream/json-verification-report
augustepoiroux:upstream/json-verification-report
Action required
feat: support for theorem disproof Lean Action CI #163: Pull request #48 synchronize by augustepoiroux
Action required augustepoiroux:upstream/disproofs
augustepoiroux:upstream/disproofs
Action required
chore: bump toolchain to v4.31.0-rc2 (#52) Lean Action CI #162: Commit 5fb6e55 pushed by Garmelon
1m 14s v4.31.0-rc2
v4.31.0-rc2
1m 14s
chore: bump toolchain to v4.31.0-rc2 (#52) Lean Action CI #161: Commit 5fb6e55 pushed by Garmelon
1m 12s master
master
1m 12s
chore: bump toolchain to v4.31.0-rc2 Lean Action CI #160: Pull request #52 opened by Garmelon
1m 20s bump-to-v4.31.0-rc2
bump-to-v4.31.0-rc2
1m 20s
chore: bump toolchain to v4.31.0-rc2 Lean Action CI #159: Commit 615b97b pushed by Garmelon
1m 27s bump-to-v4.31.0-rc2
bump-to-v4.31.0-rc2
1m 27s
feat: JSON verification reports Lean Action CI #155: Pull request #50 opened by augustepoiroux
1m 39s augustepoiroux:upstream/json-verification-report
augustepoiroux:upstream/json-verification-report
1m 39s
chore: bump toolchain to v4.31.0-rc1 (#46) Lean Action CI #150: Commit 3afea23 pushed by Garmelon
1m 16s v4.31.0-rc1
v4.31.0-rc1
1m 16s
chore: bump toolchain to v4.31.0-rc1 (#46) Lean Action CI #149: Commit 3afea23 pushed by Garmelon
1m 18s master
master
1m 18s
chore: bump toolchain to v4.31.0-rc1 Lean Action CI #148: Pull request #46 opened by Garmelon
1m 17s bump-to-v4.31.0-rc1
bump-to-v4.31.0-rc1
1m 17s
chore: bump toolchain to v4.31.0-rc1 Lean Action CI #147: Commit 4ec2ec1 pushed by Garmelon
1m 26s bump-to-v4.31.0-rc1
bump-to-v4.31.0-rc1
1m 26s
chore: bump toolchain to v4.30.0 (#45) Lean Action CI #146: Commit 1cfc5d8 pushed by Garmelon
1m 11s v4.30.0
v4.30.0
1m 11s
chore: bump toolchain to v4.30.0 (#45) Lean Action CI #145: Commit 1cfc5d8 pushed by Garmelon
1m 17s master
master
1m 17s
chore: bump toolchain to v4.30.0 Lean Action CI #144: Pull request #45 opened by Garmelon
1m 18s bump-to-v4.30.0
bump-to-v4.30.0
1m 18s