Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,219 workflow runs
1,219 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
Add statement for IMO 1974 P2 pull request #503: Pull request #273 opened by Moksit
Action required Moksit:add-imo1974-p2
Moksit:add-imo1974-p2
Action required
Bulgaria1998P2: constrain E and require a convex quadrilateral push to main #3250: Commit 47b19bb pushed by dwrensha
4m 9s main
main
4m 9s
Usa2021P4: allow the empty set, so 0 is a possible size push to main #3249: Commit eff3113 pushed by dwrensha
26m 46s main
main
26m 46s
Usa2021P4: allow the empty set, so 0 is a possible size pull request #502: Pull request #272 synchronize by DisturbedCrow
16m 30s DisturbedCrow:fix-usa2021p4-empty-set
DisturbedCrow:fix-usa2021p4-empty-set
16m 30s
Bulgaria1998P2: constrain E and require a convex quadrilateral pull request #501: Pull request #271 synchronize by DisturbedCrow
21m 41s DisturbedCrow:fix-bulgaria1998p2-statement
DisturbedCrow:fix-bulgaria1998p2-statement
21m 41s
Usa2021P4: allow the empty set, so 0 is a possible size pull request #500: Pull request #272 opened by DisturbedCrow
Action required DisturbedCrow:fix-usa2021p4-empty-set
DisturbedCrow:fix-usa2021p4-empty-set
Action required
Bulgaria1998P2: constrain E and require a convex quadrilateral pull request #499: Pull request #271 opened by DisturbedCrow
-1s DisturbedCrow:fix-bulgaria1998p2-statement
DisturbedCrow:fix-bulgaria1998p2-statement
-1s
simplifications found by tryAtEachStep push to main #3248: Commit 05d15bf pushed by david-renshaw
13m 51s main
main
13m 51s
Remove some spoilers in IMO problems (#270) push to main #3247: Commit a2ef681 pushed by dwrensha
4m 37s main
main
4m 37s
Remove some spoilers in IMO problems pull request #498: Pull request #270 opened by benpigchu
4m 37s benpigchu:remove-spoiler
benpigchu:remove-spoiler
4m 37s
update to lean v4.34.0 push to main #3246: Commit bbfc533 pushed by david-renshaw
21m 49s main
main
21m 49s
[Usa2012p3] Simplify (#267) push to main #3245: Commit 51c8803 pushed by dwrensha
16m 28s main
main
16m 28s
[Usa2012p3] Simplify pull request #497: Pull request #267 synchronize by Hillosanation
14m 56s Hillosanation:usa2012p3
Hillosanation:usa2012p3
14m 56s
[Usa2012p3] Simplify pull request #496: Pull request #267 opened by Hillosanation
16m 11s Hillosanation:usa2012p3
Hillosanation:usa2012p3
16m 11s
[usa1983p2] clean up (#266) push to main #3244: Commit 59be7a8 pushed by dwrensha
16m 24s main
main
16m 24s
[Usa1983p2] Clean up solution pull request #495: Pull request #266 opened by Hillosanation
12m 1s Hillosanation:usa1983p2
Hillosanation:usa1983p2
12m 1s
Remove some spoilers (#265) push to main #3243: Commit 8a36397 pushed by dwrensha
21m 56s main
main
21m 56s
Golf (#264) push to main #3242: Commit 9ca8025 pushed by dwrensha
16m 47s main
main
16m 47s
simplify Usa2003P6 (#263) push to main #3241: Commit dd8140f pushed by dwrensha
13m 35s main
main
13m 35s
Remove some spoilers pull request #494: Pull request #265 synchronize by Hillosanation
15m 40s Hillosanation:spoilers
Hillosanation:spoilers
15m 40s
Remove some spoilers pull request #493: Pull request #265 opened by Hillosanation
14m 7s Hillosanation:spoilers
Hillosanation:spoilers
14m 7s
Golf pull request #492: Pull request #264 opened by Hillosanation
13m 3s Hillosanation:misc-golf
Hillosanation:misc-golf
13m 3s
[Usa2003P6] Clean up solution pull request #491: Pull request #263 opened by Hillosanation
14m 18s Hillosanation:usa2003p6
Hillosanation:usa2003p6
14m 18s
clean up solution (#262) push to main #3240: Commit 0e6162f pushed by dwrensha
17m 35s main
main
17m 35s
revert by-exact false positive (#261) push to main #3239: Commit 1d45850 pushed by dwrensha
13m 14s main
main
13m 14s