Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,237 workflow runs
1,237 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Imo1990P4 (#160) push to main #2810: Commit 8e58480 pushed by dwrensha
14m 41s main
main
14m 41s
Imo1990P4 pull request #315: Pull request #160 opened by urinstinkt
13m 13s urinstinkt:Imo1990P4
urinstinkt:Imo1990P4
13m 13s
[Imo1971P5] golf push to main #2809: Commit e873e41 pushed by dwrensha
14m 31s main
main
14m 31s
update mathlib push to main #2808: Commit 5a4c22f pushed by dwrensha
14m 28s main
main
14m 28s
Solution to IMO1971P5 (#159) push to main #2807: Commit 419dd21 pushed by dwrensha
14m 0s main
main
14m 0s
Solution to IMO1971P5 pull request #314: Pull request #159 opened by benpigchu
14m 35s benpigchu:imo-1971-p5
benpigchu:imo-1971-p5
14m 35s
update mathlib push to main #2806: Commit 4ee4fcd pushed by dwrensha
14m 13s main
main
14m 13s
update to lean v4.28.0-rc1 push to main #2805: Commit 7747754 pushed by dwrensha
15m 35s main
main
15m 35s
[Imo1989P6] Simplify proof structure push to main #2804: Commit 1ec78cc pushed by dwrensha
14m 59s main
main
14m 59s
update mathlib push to main #2803: Commit 6cc9852 pushed by dwrensha
15m 9s main
main
15m 9s
Imo1989P6 (#158) push to main #2802: Commit 6e961d1 pushed by dwrensha
14m 22s main
main
14m 22s
Imo1989P6 pull request #313: Pull request #158 opened by urinstinkt
12m 47s urinstinkt:Imo1989P6
urinstinkt:Imo1989P6
12m 47s
update to lean-v4.27.0 push to main #2801: Commit de72995 pushed by dwrensha
14m 24s main
main
14m 24s
update mathlib push to main #2800: Commit 0991da5 pushed by dwrensha
14m 48s main
main
14m 48s
[Imo2024P5] Simplify solution push to main #2799: Commit 62f452e pushed by dwrensha
12m 47s main
main
12m 47s
[Imo1971P1] Simplify exists_antitone_perm using Tuple.sort push to main #2798: Commit 84d9ff6 pushed by dwrensha
14m 59s main
main
14m 59s
IMO 1971 P1 statement & solution (#157) push to main #2797: Commit e807279 pushed by dwrensha
14m 43s main
main
14m 43s
IMO 1971 P1 statement & solution pull request #312: Pull request #157 opened by frakappa
15m 0s frakappa:main
frakappa:main
15m 0s
update mathlib push to main #2796: Commit 1b44f2e pushed by dwrensha
14m 39s main
main
14m 39s
[Imo1967P3] golf push to main #2795: Commit 73ff526 pushed by dwrensha
14m 35s main
main
14m 35s
Simplify Imo1967P3 proof push to main #2794: Commit b9e7342 pushed by dwrensha
14m 25s main
main
14m 25s
[Imo1967P3] Simplify proof using mathlib lemmas push to main #2793: Commit ac5b0dc pushed by dwrensha
14m 39s main
main
14m 39s
[Imo1992P5] clean up imports push to main #2792: Commit 9fdead8 pushed by dwrensha
14m 56s main
main
14m 56s
[Imo1992P5] clean up imports push to main #2791: Commit 9fdead8 pushed by dwrensha
15m 11s main
main
15m 11s
[Imo1992P5] clean up imports push to main #2790: Commit 9fdead8 pushed by dwrensha
14m 33s main
main
14m 33s