Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

some omega shortenings found by tryAtEachStep push to main #1802: Commit 4c8f6ae pushed by dwrensha
December 12, 2024 21:55 6m 55s main
main
December 12, 2024 21:55 6m 55s
some minor tweaks suggested by tryAtEachStep push to main #1801: Commit d27fad3 pushed by dwrensha
December 12, 2024 21:43 6m 58s main
main
December 12, 2024 21:43 6m 58s
update to less-buggy tryAtEachStep version push to main #1800: Commit da8e7a5 pushed by dwrensha
December 12, 2024 19:09 6m 55s main
main
December 12, 2024 19:09 6m 55s
remove tryAtEachStep.py because tryAtEachStepInDirectory now exists push to main #1799: Commit c94d8a1 pushed by dwrensha
December 12, 2024 17:04 6m 47s main
main
December 12, 2024 17:04 6m 47s
update mathlib push to main #1798: Commit 081eef9 pushed by dwrensha
December 12, 2024 15:33 7m 26s main
main
December 12, 2024 15:33 7m 26s
update mathlib push to main #1797: Commit 6bca158 pushed by dwrensha
December 12, 2024 02:25 7m 0s main
main
December 12, 2024 02:25 7m 0s
some simplifications suggested by tryAtEachStep push to main #1796: Commit a14d999 pushed by dwrensha
December 11, 2024 22:53 6m 56s main
main
December 11, 2024 22:53 6m 56s
tryAtEachStep.bash -> tryAtEachStep.py push to main #1795: Commit 6d0dc1c pushed by dwrensha
December 11, 2024 22:24 6m 53s main
main
December 11, 2024 22:24 6m 53s
update mathlib push to main #1794: Commit 07ad2a0 pushed by dwrensha
December 11, 2024 13:49 6m 53s main
main
December 11, 2024 13:49 6m 53s
update mathlib push to main #1793: Commit 62a8f63 pushed by dwrensha
December 10, 2024 13:46 6m 57s main
main
December 10, 2024 13:46 6m 57s
update mathlib push to main #1792: Commit d818c03 pushed by dwrensha
December 9, 2024 02:27 6m 58s main
main
December 9, 2024 02:27 6m 58s
update mathlib push to main #1791: Commit 27ac5f7 pushed by dwrensha
December 8, 2024 12:32 6m 37s main
main
December 8, 2024 12:32 6m 37s
update mathlib push to main #1790: Commit e8565d4 pushed by dwrensha
December 7, 2024 12:58 6m 38s main
main
December 7, 2024 12:58 6m 38s
update mathlib push to main #1789: Commit f0cc547 pushed by dwrensha
December 6, 2024 12:45 6m 50s main
main
December 6, 2024 12:45 6m 50s
[ZeroesOnesAndTwos] omega improvements found by tryAtEachStep push to main #1788: Commit 51f990d pushed by dwrensha
December 5, 2024 19:19 6m 47s main
main
December 5, 2024 19:19 6m 47s
[Poland2016S1P8] better proof of even_of_add push to main #1787: Commit 834697f pushed by dwrensha
December 5, 2024 19:14 6m 40s main
main
December 5, 2024 19:14 6m 40s
improvements found by 'tryAtEachStep omega' push to main #1786: Commit d9ed0d9 pushed by dwrensha
December 5, 2024 19:10 6m 59s main
main
December 5, 2024 19:10 6m 59s
[Usa2003P1] use omega to simplify proof of nat_mod_inv push to main #1785: Commit 5259796 pushed by dwrensha
December 5, 2024 18:54 6m 47s main
main
December 5, 2024 18:54 6m 47s
[Usa2003P1] improvements suggested by tryAtEachStep push to main #1784: Commit dafb45e pushed by dwrensha
December 5, 2024 17:12 6m 47s main
main
December 5, 2024 17:12 6m 47s
[Imo1982P3] simplify push to main #1783: Commit fd1bf3e pushed by dwrensha
December 5, 2024 17:07 7m 9s main
main
December 5, 2024 17:07 7m 9s
some simplifications found by tryAtEachStep push to main #1782: Commit e856f6d pushed by dwrensha
December 5, 2024 17:03 6m 52s main
main
December 5, 2024 17:03 6m 52s
update tryAtEachStep again push to main #1781: Commit b7e6af3 pushed by dwrensha
December 5, 2024 16:28 6m 56s main
main
December 5, 2024 16:28 6m 56s
update tryAtEachStep push to main #1780: Commit aefb0e5 pushed by dwrensha
December 5, 2024 15:08 6m 59s main
main
December 5, 2024 15:08 6m 59s
update mathlib push to main #1779: Commit 0dfe6c8 pushed by dwrensha
December 5, 2024 13:33 6m 54s main
main
December 5, 2024 13:33 6m 54s
[Imo2023P4] finish proof push to main #1778: Commit 6672ac2 pushed by dwrensha
December 4, 2024 15:16 6m 53s main
main
December 4, 2024 15:16 6m 53s