Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
[Imo2023P4] more progress push to main #1777: Commit 5824a6c pushed by dwrensha
December 4, 2024 13:57 6m 59s main
main
December 4, 2024 13:57 6m 59s
update mathlib push to main #1776: Commit bc0f75a pushed by dwrensha
December 4, 2024 12:44 6m 54s main
main
December 4, 2024 12:44 6m 54s
[Imo2023P4] finish proof of cauchy schwarz lemma push to main #1775: Commit fd1bdc5 pushed by dwrensha
December 4, 2024 05:04 6m 59s main
main
December 4, 2024 05:04 6m 59s
[Imo2023P4] progress push to main #1774: Commit c70f2a3 pushed by dwrensha
December 4, 2024 03:04 6m 42s main
main
December 4, 2024 03:04 6m 42s
fix broken webpage generation push to main #1773: Commit fca7785 pushed by dwrensha
December 4, 2024 00:16 7m 8s main
main
December 4, 2024 00:16 7m 8s