Skip to content

Actions: dwrensha/compfiles

Actions

push to main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-main.yaml
1,666 workflow runs
1,666 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