Skip to content

Actions: leanprover/lean-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,379 workflow runs
2,379 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 #553 from leanprover/refactor/remove-embedded-gene… CI #1299: Commit b91d475 pushed by kim-em
30m 54s main
main
30m 54s
Merge pull request #553 from leanprover/refactor/remove-embedded-gene… Regenerate generated/ on main #261: Commit b91d475 pushed by kim-em
1h 8m 24s main
main
1h 8m 24s
Merge pull request #553 from leanprover/refactor/remove-embedded-gene… Notify leaderboard of main advance #340: Commit b91d475 pushed by kim-em
6s main
main
6s
refactor: remove embedded generator core CI #1298: Pull request #553 synchronize by kim-em
29m 35s refactor/remove-embedded-generator
refactor/remove-embedded-generator
29m 35s
refactor: remove embedded generator core CI #1297: Pull request #553 synchronize by kim-em
29m 10s refactor/remove-embedded-generator
refactor/remove-embedded-generator
29m 10s
Merge pull request #554 from leanprover/fix/qualify-results-schema-te… CI #1296: Commit ef8d22e pushed by kim-em
21m 28s main
main
21m 28s
refactor: qualify results schema terminology CI #1295: Pull request #554 opened by kim-em
11m 35s fix/qualify-results-schema-terminology
fix/qualify-results-schema-terminology
11m 35s
refactor: remove embedded generator core CI #1294: Pull request #553 synchronize by kim-em
31m 51s refactor/remove-embedded-generator
refactor/remove-embedded-generator
31m 51s
refactor: remove embedded generator core CI #1293: Pull request #553 opened by kim-em
26s refactor/remove-embedded-generator
refactor/remove-embedded-generator
26s
docs: reserve v1 and v2 for problem sets (#552) CI #1292: Commit 6109e87 pushed by kim-em
21m 53s main
main
21m 53s
docs: reserve v1 and v2 for problem sets CI #1291: Pull request #552 opened by kim-em
30s docs/lifecycle-overhaul-terminology
docs/lifecycle-overhaul-terminology
30s
Merge pull request #548 from leanprover/feat/v1-six-problem-amendment Regenerate generated/ on main #260: Commit 21c6c02 pushed by kim-em
54m 21s main
main
54m 21s
Merge pull request #548 from leanprover/feat/v1-six-problem-amendment CI #1290: Commit 21c6c02 pushed by kim-em
30m 3s main
main
30m 3s
Merge pull request #548 from leanprover/feat/v1-six-problem-amendment Notify leaderboard of main advance #339: Commit 21c6c02 pushed by kim-em
7s main
main
7s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #338: Commit 1827550 pushed by lean-eval-regenerator Bot
7s main
main
7s
chore: regenerate generated/ workspaces CI #1289: Commit 1827550 pushed by lean-eval-regenerator Bot
27m 54s main
main
27m 54s
fix: make stripProblemMarkers lexer-aware rather than line-oriented (… Regenerate generated/ on main #259: Commit 3c17142 pushed by kim-em
1h 59m 16s main
main
1h 59m 16s
fix: make stripProblemMarkers lexer-aware rather than line-oriented (… CI #1288: Commit 3c17142 pushed by kim-em
27m 28s main
main
27m 28s
fix: make stripProblemMarkers lexer-aware rather than line-oriented (… Notify leaderboard of main advance #337: Commit 3c17142 pushed by kim-em
6s main
main
6s
fix: make stripProblemMarkers lexer-aware rather than line-oriented CI #1287: Pull request #547 synchronize by kim-em
28m 45s issue-544
issue-544
28m 45s
fix: make stripProblemMarkers lexer-aware rather than line-oriented CI #1286: Pull request #547 synchronize by kim-em
29m 17s issue-544
issue-544
29m 17s
fix: ignore commands spelled inside block comments when collecting co… Regenerate generated/ on main #258: Commit 97697ed pushed by kim-em
2h 36m 56s main
main
2h 36m 56s
fix: ignore commands spelled inside block comments when collecting co… CI #1285: Commit 97697ed pushed by kim-em
28m 6s main
main
28m 6s
fix: ignore commands spelled inside block comments when collecting co… Notify leaderboard of main advance #336: Commit 97697ed pushed by kim-em
7s main
main
7s
fix: make stripProblemMarkers lexer-aware rather than line-oriented CI #1284: Pull request #547 synchronize by kim-em
20m 39s issue-544
issue-544
20m 39s