Skip to content

Actions: leanprover/lean-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
ci: skip catalog shards for docs-only main pushes CI #1474: Commit 6b4b87b pushed by kim-em
22m 36s main
main
22m 36s
ci: skip catalog shards for docs-only main pushes CI #1473: Pull request #627 synchronize by kim-em
23m 58s fix/skip-docs-only-main-catalog
fix/skip-docs-only-main-catalog
23m 58s
ci: skip catalog shards for docs-only main pushes CI #1472: Pull request #627 opened by kim-em
4m 5s fix/skip-docs-only-main-catalog
fix/skip-docs-only-main-catalog
4m 5s
Merge pull request #626 from leanprover/docs/runbook-current-status-2… CI #1471: Commit 4ed4ef5 pushed by kim-em
22m 38s main
main
22m 38s
docs: refresh active replay drain status CI #1470: Pull request #626 opened by kim-em
1m 21s docs/runbook-current-status-20260904
docs/runbook-current-status-20260904
1m 21s
docs: retire issue-intake fallback copy after cutoff CI #1469: Pull request #624 synchronize by kim-em
12m 0s cleanup/retire-issue-intake-copy
cleanup/retire-issue-intake-copy
12m 0s
docs: refresh sustained replay status (#625) CI #1468: Commit 4e1f82a pushed by kim-em
22m 34s main
main
22m 34s
docs: refresh sustained replay and retirement status CI #1467: Pull request #625 opened by kim-em
1m 23s docs/current-replay-and-retirement
docs/current-replay-and-retirement
1m 23s
docs: retire issue-intake fallback copy after cutoff CI #1466: Pull request #624 opened by kim-em
1m 21s cleanup/retire-issue-intake-copy
cleanup/retire-issue-intake-copy
1m 21s
Merge pull request #623 from leanprover/docs/replay-drain-status-2026… CI #1465: Commit 296b749 pushed by kim-em
22m 57s main
main
22m 57s
docs: record sustained replay drains CI #1464: Pull request #623 opened by kim-em
1m 34s docs/replay-drain-status-20260904
docs/replay-drain-status-20260904
1m 34s
Merge pull request #622 from leanprover/docs/current-overhaul-state-2… CI #1463: Commit ae8750c pushed by kim-em
23m 12s main
main
23m 12s
docs: refresh current overhaul state CI #1462: Pull request #622 opened by kim-em
1m 26s docs/current-overhaul-state-20260903
docs/current-overhaul-state-20260903
1m 26s
docs: record current intake safety pause (#621) CI #1461: Commit c4362a5 pushed by kim-em
24m 37s main
main
24m 37s
docs: record current intake safety pause CI #1460: Pull request #621 synchronize by kim-em
3m 4s docs/current-intake-pause
docs/current-intake-pause
3m 4s
docs: record current intake safety pause CI #1459: Pull request #621 opened by kim-em
2m 6s docs/current-intake-pause
docs/current-intake-pause
2m 6s
Merge pull request #620 from leanprover/docs/current-replay-drain CI #1458: Commit 0999cf8 pushed by kim-em
22m 4s main
main
22m 4s
docs: refresh retained replay drain state CI #1457: Pull request #620 opened by kim-em
1m 25s docs/current-replay-drain
docs/current-replay-drain
1m 25s
Merge pull request #619 from leanprover/docs/record-replay-restart CI #1456: Commit 1e8cc2e pushed by kim-em
22m 45s main
main
22m 45s
docs: record current replay restart CI #1455: Pull request #619 opened by kim-em
1m 33s docs/record-replay-restart
docs/record-replay-restart
1m 33s
docs: record restored automatic publication (#618) CI #1454: Commit 06053ff pushed by kim-em
24m 43s main
main
24m 43s
docs: record restored automatic publication CI #1453: Pull request #618 opened by kim-em
1m 27s docs/runbook-publication-restored
docs/runbook-publication-restored
1m 27s
Merge pull request #617 from leanprover/docs/cutoff-variable-preinsta… CI #1452: Commit a1f071b pushed by kim-em
23m 27s main
main
23m 27s
docs: record preinstalled issue cutoff gate CI #1451: Pull request #617 synchronize by kim-em
1m 27s docs/cutoff-variable-preinstalled
docs/cutoff-variable-preinstalled
1m 27s
docs: record preinstalled issue cutoff gate CI #1450: Pull request #617 opened by kim-em
1m 23s docs/cutoff-variable-preinstalled
docs/cutoff-variable-preinstalled
1m 23s