Skip to content

Actions: leanprover/comparator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
245 workflow runs
245 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: more primitives Lean Action CI #270: Commit 2312244 pushed by hargoniX
2m 20s master
master
2m 20s
fix: reject value substitution on non-sorry'd definitions Lean Action CI #269: Pull request #86 opened by savarin
8m 38s savarin:fix/sorry-conditioned-value-fallback
savarin:fix/sorry-conditioned-value-fallback
8m 38s
Merge pull request #84 from leanprover/revert-81-feat/replay-phase-me… Lean Action CI #268: Commit 8d84e67 pushed by Kha
2m 32s master
master
2m 32s
Revert "feat: add replay phase measurement adapter" Lean Action CI #267: Pull request #84 opened by hargoniX
2m 48s revert-81-feat/replay-phase-metrics
revert-81-feat/replay-phase-metrics
2m 48s
Revert "feat: add replay phase measurement adapter (#81)" Lean Action CI #266: Commit 0039ea5 pushed by hargoniX
2m 37s revert-81-feat/replay-phase-metrics
revert-81-feat/replay-phase-metrics
2m 37s
Merge pull request #82 from Vilin97/nanoda-four-threads Lean Action CI #265: Commit 10dd2b3 pushed by hargoniX
2m 31s master
master
2m 31s
Use four nanoda threads Lean Action CI #264: Pull request #82 opened by Vilin97
2m 33s Vilin97:nanoda-four-threads
Vilin97:nanoda-four-threads
2m 33s
feat: add replay phase measurement adapter Lean Action CI #263: Commit b8f2985 pushed by kim-em
58s backport/replay-phase-metrics-v433
backport/replay-phase-metrics-v433
58s
feat: add replay phase measurement adapter Lean Action CI #262: Commit ce351c1 pushed by kim-em
1m 11s backport/replay-phase-metrics-v433
backport/replay-phase-metrics-v433
1m 11s
feat: add replay phase measurement adapter Lean Action CI #261: Commit 5b47d17 pushed by kim-em
1m 11s backport/replay-phase-metrics-v433
backport/replay-phase-metrics-v433
1m 11s
feat: add replay phase measurement adapter Lean Action CI #260: Commit f38e516 pushed by kim-em
1m 17s backport/replay-phase-metrics-v433
backport/replay-phase-metrics-v433
1m 17s
feat: add replay phase measurement adapter (#81) Lean Action CI #259: Commit e45f3b8 pushed by kim-em
2m 40s master
master
2m 40s
feat: add replay phase measurement adapter Lean Action CI #258: Pull request #81 opened by kim-em
2m 27s feat/replay-phase-metrics
feat/replay-phase-metrics
2m 27s
feat: add replay phase measurement adapter Lean Action CI #257: Commit 6496ee0 pushed by kim-em
2m 51s feat/replay-phase-metrics
feat/replay-phase-metrics
2m 51s
Merge pull request #80 from leanprover/bump-to-v4.34.0-rc2 Lean Action CI #256: Commit 19e111e pushed by kim-em
2m 44s v4.34.0-rc2
v4.34.0-rc2
2m 44s
Merge pull request #80 from leanprover/bump-to-v4.34.0-rc2 Lean Action CI #255: Commit 19e111e pushed by kim-em
2m 41s master
master
2m 41s
chore: bump toolchain to v4.34.0-rc2 Lean Action CI #254: Pull request #80 opened by kim-em
2m 55s bump-to-v4.34.0-rc2
bump-to-v4.34.0-rc2
2m 55s
chore: bump toolchain to v4.34.0-rc2 Lean Action CI #253: Commit c78dd72 pushed by kim-em
2m 34s bump-to-v4.34.0-rc2
bump-to-v4.34.0-rc2
2m 34s
fix: contain sandbox descendants with util-linux Lean Action CI #252: Pull request #78 synchronize by kim-em
2m 32s kim-em:fix/descendant-cleanup
kim-em:fix/descendant-cleanup
2m 32s
feat: verify Landrun enforcement in fail-closed mode Lean Action CI #251: Pull request #76 synchronize by kim-em
2m 34s fail-closed-option
fail-closed-option
2m 34s
feat: verify Landrun enforcement in fail-closed mode Lean Action CI #250: Commit 5846789 pushed by kim-em
2m 38s fail-closed-option
fail-closed-option
2m 38s
fix: contain sandbox descendants with util-linux Lean Action CI #249: Pull request #78 synchronize by kim-em
2m 52s kim-em:fix/descendant-cleanup
kim-em:fix/descendant-cleanup
2m 52s
feat: verify Landrun enforcement in fail-closed mode Lean Action CI #248: Pull request #76 synchronize by kim-em
3m 26s fail-closed-option
fail-closed-option
3m 26s
feat: verify Landrun enforcement in fail-closed mode Lean Action CI #247: Commit 4534d81 pushed by kim-em
2m 34s fail-closed-option
fail-closed-option
2m 34s
feat: verify Landrun enforcement in fail-closed mode Lean Action CI #246: Pull request #76 synchronize by kim-em
2m 38s fail-closed-option
fail-closed-option
2m 38s