Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,352 workflow runs
1,352 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
added 3 usamo problems pull request #405: Pull request #216 opened by theebayuser
1m 4s theebayuser:add-usamo-problems
theebayuser:add-usamo-problems
1m 4s
update mathlib push to main #3161: Commit 4b8a8f0 pushed by dwrensha
16m 18s main
main
16m 18s
golf push to main #3160: Commit 8136ed5 pushed by dwrensha
4m 0s main
main
4m 0s
update to lean-v4.32.0-rc1 push to main #3159: Commit f7127d3 pushed by dwrensha
13m 27s main
main
13m 27s
update mathlib push to main #3158: Commit 8b66894 pushed by dwrensha
16m 5s main
main
16m 5s
update mathlib push to main #3157: Commit 2beb53b pushed by dwrensha
16m 49s main
main
16m 49s
update to lean-v4.31.0 push to main #3156: Commit c2d84fa pushed by dwrensha
17m 9s main
main
17m 9s
update mathlib push to main #3155: Commit 0e52147 pushed by dwrensha
16m 38s main
main
16m 38s
[Imo1977P5] cleanup push to main #3154: Commit 78d8c51 pushed by dwrensha
3m 19s main
main
3m 19s
[Imo1977P5] golf push to main #3153: Commit 6da65c4 pushed by david-renshaw
3m 7s main
main
3m 7s
update mathlib push to main #3152: Commit e441f63 pushed by dwrensha
16m 19s main
main
16m 19s
[Imo1992P1] prefer lia and positivity push to main #3151: Commit 5b7b005 pushed by dwrensha
4m 0s main
main
4m 0s
[Imo1992P1] golf push to main #3150: Commit d65f782 pushed by david-renshaw
3m 18s main
main
3m 18s
[Imo1984P6] golf push to main #3149: Commit c0388b3 pushed by david-renshaw
3m 47s main
main
3m 47s
[Imo1974P3] golf push to main #3148: Commit 61caae6 pushed by david-renshaw
3m 29s main
main
3m 29s
[Imo2017P1] golf push to main #3147: Commit 9e2da46 pushed by david-renshaw
3m 28s main
main
3m 28s
[Bulgaria1998P11] golf push to main #3146: Commit 4bc2194 pushed by david-renshaw
3m 22s main
main
3m 22s
[Imo2025P5] add solution push to main #3145: Commit eae0aed pushed by david-renshaw
3m 33s main
main
3m 33s
update mathlib push to main #3144: Commit 4e001d5 pushed by david-renshaw
16m 42s main
main
16m 42s
[Usamo2020P3] simplifications push to main #3143: Commit 6bf623c pushed by david-renshaw
5m 31s main
main
5m 31s
golfs from tryAtEachStep push to main #3142: Commit 74bb0f0 pushed by dwrensha
5m 31s main
main
5m 31s
[Imo2011P1] add problem and solution push to main #3141: Commit 7603c3d pushed by david-renshaw
4m 46s main
main
4m 46s
[Imo2002P1] add problem and solution push to main #3140: Commit f2b5400 pushed by david-renshaw
5m 20s main
main
5m 20s
[Imo2013P2] add problem and solution push to main #3139: Commit a2ed59f pushed by david-renshaw
4m 44s main
main
4m 44s
some golf with decide push to main #3138: Commit c581cf7 pushed by dwrensha
4m 32s main
main
4m 32s