Skip to content

Actions: leanprover/comparator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
184 workflow runs
184 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
Merge pull request #65 from leanprover/hbv/fix64 Lean Action CI #209: Commit 7892797 pushed by hargoniX
1m 38s master
master
1m 38s
fix: do not compare transitively occurring thm holes by value Lean Action CI #208: Pull request #65 synchronize by hargoniX
1m 30s hbv/fix64
hbv/fix64
1m 30s
go Lean Action CI #207: Commit 057d760 pushed by hargoniX
1m 42s hbv/fix64
hbv/fix64
1m 42s
fix: do not compare transitively occurring thm holes by value Lean Action CI #206: Pull request #65 synchronize by hargoniX
1m 38s hbv/fix64
hbv/fix64
1m 38s
fix it Lean Action CI #205: Commit 09fe5be pushed by hargoniX
1m 49s hbv/fix64
hbv/fix64
1m 49s
fix: do not compare transitively occurring thm holes by value Lean Action CI #204: Pull request #65 opened by hargoniX
1m 31s hbv/fix64
hbv/fix64
1m 31s
test: regression test for #64 Lean Action CI #203: Commit bf8d9aa pushed by hargoniX
2m 1s hbv/fix64
hbv/fix64
2m 1s
Merge pull request #63 from leanprover/hbv/delayed_kernel_rejection Lean Action CI #202: Commit 5f2b56b pushed by hargoniX
1m 25s master
master
1m 25s
feat: delay kernel rejection until all kernels have run Lean Action CI #201: Pull request #63 synchronize by hargoniX
1m 37s hbv/delayed_kernel_rejection
hbv/delayed_kernel_rejection
1m 37s
feat: delay kernel rejection until all kernels have run Lean Action CI #200: Commit 5d21b89 pushed by hargoniX
1m 33s hbv/delayed_kernel_rejection
hbv/delayed_kernel_rejection
1m 33s
feat: delay kernel rejection until all kernels have run Lean Action CI #199: Pull request #63 synchronize by hargoniX
1m 35s hbv/delayed_kernel_rejection
hbv/delayed_kernel_rejection
1m 35s
feat: delay kernel rejection until all kernels have run Lean Action CI #198: Commit a1e39a6 pushed by hargoniX
1m 38s hbv/delayed_kernel_rejection
hbv/delayed_kernel_rejection
1m 38s
feat: delay kernel rejection until all kernels have run Lean Action CI #197: Pull request #63 opened by hargoniX
1m 46s hbv/delayed_kernel_rejection
hbv/delayed_kernel_rejection
1m 46s
feat: delay kernel rejection until all kernels have run Lean Action CI #196: Commit 98c3c66 pushed by hargoniX
1m 34s hbv/delayed_kernel_rejection
hbv/delayed_kernel_rejection
1m 34s
chore: bump toolchain to v4.33.0-rc2 (#62) Lean Action CI #195: Commit 75c730e pushed by Garmelon
1m 39s v4.33.0-rc2
v4.33.0-rc2
1m 39s
chore: bump toolchain to v4.33.0-rc2 (#62) Lean Action CI #194: Commit 75c730e pushed by Garmelon
1m 42s master
master
1m 42s
chore: bump toolchain to v4.33.0-rc2 Lean Action CI #193: Pull request #62 opened by Garmelon
1m 56s bump-to-v4.33.0-rc2
bump-to-v4.33.0-rc2
1m 56s
chore: bump toolchain to v4.33.0-rc2 Lean Action CI #192: Commit 2d2972a pushed by Garmelon
1m 51s bump-to-v4.33.0-rc2
bump-to-v4.33.0-rc2
1m 51s
Merge pull request #61 from leanprover/hbv/char_ofNat Lean Action CI #191: Commit 5149123 pushed by hargoniX
2m 47s master
master
2m 47s
fix: Char.ofNat redefinition Lean Action CI #190: Pull request #61 synchronize by hargoniX
1m 42s hbv/char_ofNat
hbv/char_ofNat
1m 42s
fix: Char.ofNat redefinition Lean Action CI #189: Commit 8c0e44e pushed by hargoniX
1m 38s hbv/char_ofNat
hbv/char_ofNat
1m 38s
Merge pull request #60 from matteo-ax/landrun-flag-terminator Lean Action CI #188: Commit 552bad1 pushed by hargoniX
3m 32s master
master
3m 32s
fix: Char.ofNat redefinition Lean Action CI #187: Pull request #61 opened by hargoniX
1m 5s hbv/char_ofNat
hbv/char_ofNat
1m 5s
fix: Char.ofNat redefinition Lean Action CI #186: Commit 82a6f32 pushed by hargoniX
1m 7s hbv/char_ofNat
hbv/char_ofNat
1m 7s
Insert '--' terminator before the sandboxed command in buildLandrunArgs Lean Action CI #185: Pull request #60 opened by matteo-ax
1m 13s matteo-ax:landrun-flag-terminator
matteo-ax:landrun-flag-terminator
1m 13s