Skip to content

Actions: dwrensha/compfiles

Actions

push to main

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ZeroesOnesAndTwos] remove unneeded GCD import push to main #173: Commit 02cb30c pushed by dwrensha
September 10, 2023 03:05 3m 22s main
main
September 10, 2023 03:05 3m 22s
[ZeroesOnesAndTwos] undef is_zero_or_one push to main #172: Commit 88194d1 pushed by dwrensha
September 10, 2023 03:01 3m 21s main
main
September 10, 2023 03:01 3m 21s
[ZeroesOnesAndTwos] undef all_zero_or_one push to main #171: Commit 4df3d1f pushed by dwrensha
September 10, 2023 02:35 3m 13s main
main
September 10, 2023 02:35 3m 13s
[ZeroesOnesAndTwos] some cleanup push to main #170: Commit d6f80cf pushed by dwrensha
September 10, 2023 01:27 3m 17s main
main
September 10, 2023 01:27 3m 17s
[ZeroesOnesAndTwos] use ofDigits rather than bigoperators sum in zero… push to main #169: Commit c17da9e pushed by dwrensha
September 10, 2023 00:53 3m 27s main
main
September 10, 2023 00:53 3m 27s
[ZeroesOnesAndTwos] remove a superfluous lemma push to main #168: Commit 47c289e pushed by dwrensha
September 9, 2023 14:08 3m 23s main
main
September 9, 2023 14:08 3m 23s
[ZeroesOnesAndTwos] lemma_4 -> Finset.sum_pos' push to main #167: Commit dd862f1 pushed by dwrensha
September 9, 2023 12:31 3m 16s main
main
September 9, 2023 12:31 3m 16s
[Usa2003Q1] generalize lemma2 push to main #166: Commit 1c08a1a pushed by dwrensha
September 8, 2023 17:17 3m 13s main
main
September 8, 2023 17:17 3m 13s
[Usa2003Q1] more cleanup push to main #165: Commit 9e4bbbe pushed by dwrensha
September 8, 2023 15:49 3m 13s main
main
September 8, 2023 15:49 3m 13s
[Usa2003Q1] a bit simpler push to main #164: Commit f19b6fb pushed by dwrensha
September 8, 2023 12:53 4m 44s main
main
September 8, 2023 12:53 4m 44s
[Usa2003Q1] remove some needless algebraic shuffling push to main #163: Commit 757d3ea pushed by dwrensha
September 8, 2023 12:39 3m 16s main
main
September 8, 2023 12:39 3m 16s
[Usa2003Q1] use new Nat.digits_append_digits theorem push to main #162: Commit 6e0b799 pushed by dwrensha
September 8, 2023 12:33 4m 11s main
main
September 8, 2023 12:33 4m 11s
update mathlib push to main #161: Commit 761d3f5 pushed by dwrensha
September 8, 2023 12:20 3m 17s main
main
September 8, 2023 12:20 3m 17s
[Usa1996Q1] add problem statement push to main #160: Commit 6b849f4 pushed by dwrensha
September 7, 2023 14:10 3m 20s main
main
September 7, 2023 14:10 3m 20s
[Usa2003Q1] some cleanup push to main #159: Commit 9cb22e4 pushed by dwrensha
September 7, 2023 12:24 3m 32s main
main
September 7, 2023 12:24 3m 32s
update mathlib push to main #158: Commit 918bb01 pushed by dwrensha
September 7, 2023 01:17 3m 13s main
main
September 7, 2023 01:17 3m 13s
[Usa2003Q1] finish proof push to main #157: Commit f4899ad pushed by dwrensha
September 7, 2023 01:15 3m 24s main
main
September 7, 2023 01:15 3m 24s
[Usa2003Q1] massive simplification digits_add' proof, by Bhavik Mehta push to main #156: Commit 53791d5 pushed by dwrensha
September 6, 2023 21:30 3m 59s main
main
September 6, 2023 21:30 3m 59s
[Usa2003Q1] finish 'suffices' block push to main #155: Commit 20ded03 pushed by dwrensha
September 6, 2023 20:16 3m 18s main
main
September 6, 2023 20:16 3m 18s
[Usa2003Q1] some cleanup of Nat.digits_add' push to main #154: Commit 90afc48 pushed by dwrensha
September 6, 2023 19:52 3m 23s main
main
September 6, 2023 19:52 3m 23s
[Usa2003Q1] finish proof of Nat.digits_add' push to main #153: Commit 3a2c684 pushed by dwrensha
September 6, 2023 19:20 3m 27s main
main
September 6, 2023 19:20 3m 27s
[Usa2003Q1] some progress push to main #152: Commit ed98879 pushed by dwrensha
September 6, 2023 14:11 3m 19s main
main
September 6, 2023 14:11 3m 19s
ProTip! You can narrow down the results and go further in time using created:<2023-09-06 or the other filters available.