Skip to content

Actions: trishullab/PutnamBench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
240 workflow runs
240 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
pages build and deployment pages-build-deployment #190: by GeorgeTsoukalas
40s main
main
40s
Merge pull request #360 from trishullab/fix-rocq-1962-statements build lean #634: Commit a635813 pushed by GeorgeTsoukalas
31m 10s main
main
31m 10s
Fix the Rocq statements of 1962 A2, A6 and B5 (#358) build lean #633: Pull request #360 opened by yaqub1971
29m 31s fix-rocq-1962-statements
fix-rocq-1962-statements
29m 31s
Add files via upload build lean #632: Commit 7217728 pushed by yaqub1971
28m 1s fix-rocq-1962-statements
fix-rocq-1962-statements
28m 1s
Merge pull request #359 from trishullab/codex/fable-rocq-leaderboard build lean #631: Commit 5848862 pushed by yaqub1971
35m 8s fix-rocq-1962-statements
fix-rocq-1962-statements
35m 8s
Merge pull request #359 from trishullab/codex/fable-rocq-leaderboard build lean #630: Commit 5848862 pushed by GeorgeTsoukalas
15m 3s main
main
15m 3s
pages build and deployment pages-build-deployment #189: by GeorgeTsoukalas
51s main
main
51s
Add Fable 5.1 Max Rocq leaderboard result build lean #629: Pull request #359 synchronize by GeorgeTsoukalas
35m 24s codex/fable-rocq-leaderboard
codex/fable-rocq-leaderboard
35m 24s
Simplify Fable compute budget to $45/task build lean #628: Commit b92433d pushed by GeorgeTsoukalas
15m 4s codex/fable-rocq-leaderboard
codex/fable-rocq-leaderboard
15m 4s
Add Fable 5.1 Max Rocq leaderboard result build lean #627: Pull request #359 synchronize by GeorgeTsoukalas
35m 16s codex/fable-rocq-leaderboard
codex/fable-rocq-leaderboard
35m 16s
Simplify Fable result note and retain closed-source classification build lean #626: Commit 7810b21 pushed by GeorgeTsoukalas
36m 17s codex/fable-rocq-leaderboard
codex/fable-rocq-leaderboard
36m 17s
Add Fable 5.1 Max Rocq leaderboard result build lean #625: Pull request #359 opened by GeorgeTsoukalas
15m 3s codex/fable-rocq-leaderboard
codex/fable-rocq-leaderboard
15m 3s
Add Fable 5.1 Max Rocq leaderboard result build lean #624: Commit 2d1c3c0 pushed by GeorgeTsoukalas
15m 3s codex/fable-rocq-leaderboard
codex/fable-rocq-leaderboard
15m 3s
Merge pull request #357 from trishullab/forall-astrio-leaderboard build lean #623: Commit 97b5e94 pushed by GeorgeTsoukalas
36m 15s main
main
36m 15s
pages build and deployment pages-build-deployment #188: by GeorgeTsoukalas
1m 11s main
main
1m 11s
Forall astrio leaderboard addition build lean #622: Pull request #357 synchronize by GeorgeTsoukalas
35m 28s forall-astrio-leaderboard
forall-astrio-leaderboard
35m 28s
Add Forall Astrio PutnamBench result build lean #621: Commit c2bde8e pushed by GeorgeTsoukalas
35m 26s forall-astrio-leaderboard
forall-astrio-leaderboard
35m 26s
Add Forall Astrio PutnamBench result build lean #620: Commit 1df54ca pushed by GeorgeTsoukalas
32m 4s forall-astrio-leaderboard
forall-astrio-leaderboard
32m 4s
Add Forall Astrio PutnamBench result build lean #619: Commit 1df54ca pushed by GeorgeTsoukalas
33m 10s codex/forall-astrio-leaderboard
codex/forall-astrio-leaderboard
33m 10s
Add Forall Astrio PutnamBench result build lean #618: Commit 1df54ca pushed by GeorgeTsoukalas
48m 45s midas-leaderboard
midas-leaderboard
48m 45s
Merge pull request #356 from eric-wieser/update-to-v4.33.0 build lean #617: Commit f423c17 pushed by GeorgeTsoukalas
35m 27s main
main
35m 27s
pages build and deployment pages-build-deployment #187: by GeorgeTsoukalas
1m 12s main
main
1m 12s
Update to v4.33.x build lean #616: Pull request #356 opened by eric-wieser
27m 10s eric-wieser:update-to-v4.33.0
eric-wieser:update-to-v4.33.0
27m 10s
Fix solution predicate for Putnam 1974 B1 (#355) build lean #615: Commit 4dbe26e pushed by GeorgeTsoukalas
39m 53s main
main
39m 53s
pages build and deployment pages-build-deployment #186: by GeorgeTsoukalas
37s main
main
37s