Skip to content

Actions: dwrensha/compfiles

Actions

push to main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-main.yaml
1,656 workflow runs
1,656 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update mathlib push to main #1713: Commit 1a7cbb6 pushed by dwrensha
November 18, 2024 12:52 7m 21s main
main
November 18, 2024 12:52 7m 21s
[Usa1992P1] switch argument order for some lemmas push to main #1712: Commit 472f49e pushed by dwrensha
November 18, 2024 02:30 6m 51s main
main
November 18, 2024 02:30 6m 51s
[Usa1992P1] clean up comments push to main #1711: Commit b8d76c4 pushed by dwrensha
November 18, 2024 02:16 7m 11s main
main
November 18, 2024 02:16 7m 11s
[Usa1992P1] digits_base_pow_mul push to main #1710: Commit 47a6ac3 pushed by dwrensha
November 18, 2024 01:44 10m 43s main
main
November 18, 2024 01:44 10m 43s
[Usa1992P1] remove unneeded lemma List.Forall₂_of_all_all push to main #1709: Commit 08473c6 pushed by dwrensha
November 17, 2024 23:46 6m 40s main
main
November 17, 2024 23:46 6m 40s
[Usa1992P1] simplifications suggested by tryAtEachStep push to main #1708: Commit c5f4c4e pushed by dwrensha
November 17, 2024 23:14 6m 34s main
main
November 17, 2024 23:14 6m 34s
[Imo1987P4] remove unneeded import push to main #1707: Commit 6eca465 pushed by dwrensha
November 17, 2024 22:49 6m 38s main
main
November 17, 2024 22:49 6m 38s
[Usa1992P1] remove unused lemma10 push to main #1706: Commit 3dd23fc pushed by dwrensha
November 17, 2024 22:43 7m 8s main
main
November 17, 2024 22:43 7m 8s
[Usa1992P1] shorter proof that 'b n' is odd push to main #1705: Commit 5fe3058 pushed by dwrensha
November 17, 2024 22:41 6m 41s main
main
November 17, 2024 22:41 6m 41s
[Usa1992P1] shorten push to main #1704: Commit 2af9f1a pushed by dwrensha
November 17, 2024 22:32 6m 51s main
main
November 17, 2024 22:32 6m 51s
[Usa1992P1] use 'induction generalizing' instead of 'revert' push to main #1703: Commit 766f24a pushed by dwrensha
November 17, 2024 21:10 6m 53s main
main
November 17, 2024 21:10 6m 53s
[Usa1992P1] add self as author push to main #1702: Commit 395996d pushed by dwrensha
November 17, 2024 21:06 7m 2s main
main
November 17, 2024 21:06 7m 2s
[Usa1992P1] remove more unneeded hypotheses push to main #1701: Commit 773cf31 pushed by dwrensha
November 17, 2024 21:05 6m 58s main
main
November 17, 2024 21:05 6m 58s
[Usa1992P1] remove unneeded assumption push to main #1700: Commit 2b975f2 pushed by dwrensha
November 17, 2024 21:00 6m 37s main
main
November 17, 2024 21:00 6m 37s
[Usa1992P1] finish proof push to main #1699: Commit 2681525 pushed by dwrensha
November 17, 2024 20:57 6m 48s main
main
November 17, 2024 20:57 6m 48s
update mathlib push to main #1698: Commit f230332 pushed by dwrensha
November 17, 2024 13:06 6m 38s main
main
November 17, 2024 13:06 6m 38s
[Imo2024P5] move solution comment into snip section push to main #1697: Commit d0a2df5 pushed by dwrensha
November 17, 2024 13:05 6m 44s main
main
November 17, 2024 13:05 6m 44s
add Imo2025P5 push to main #1696: Commit 59841bf pushed by dwrensha
November 16, 2024 13:09 6m 50s main
main
November 16, 2024 13:09 6m 50s
update mathlib push to main #1695: Commit a0b19cb pushed by dwrensha
November 16, 2024 13:02 6m 25s main
main
November 16, 2024 13:02 6m 25s
update mathlib push to main #1694: Commit c4517c7 pushed by dwrensha
November 15, 2024 13:04 6m 46s main
main
November 15, 2024 13:04 6m 46s
update mathlib push to main #1693: Commit d7c2962 pushed by dwrensha
November 14, 2024 13:16 6m 24s main
main
November 14, 2024 13:16 6m 24s
update mathlib push to main #1692: Commit eaf1a59 pushed by dwrensha
November 13, 2024 13:02 6m 27s main
main
November 13, 2024 13:02 6m 27s
update mathlib push to main #1691: Commit 9d216b0 pushed by dwrensha
November 12, 2024 13:34 6m 31s main
main
November 12, 2024 13:34 6m 31s
update mathlib push to main #1690: Commit c76aa11 pushed by dwrensha
November 11, 2024 12:10 6m 22s main
main
November 11, 2024 12:10 6m 22s
update mathlib push to main #1689: Commit f885895 pushed by dwrensha
November 10, 2024 12:22 6m 36s main
main
November 10, 2024 12:22 6m 36s