Skip to content

Actions: dwrensha/compfiles

Actions

push to main

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
[Usa2003Q1] add missing condition and start proof push to main #151: Commit ad6c88b pushed by dwrensha
September 6, 2023 00:00 3m 34s main
main
September 6, 2023 00:00 3m 34s
[Usa2003Q1] add problem statement and informal solution push to main #150: Commit 8048593 pushed by dwrensha
September 5, 2023 22:19 3m 23s main
main
September 5, 2023 22:19 3m 23s
[Imo1964Q4] require DecidableEq to be passed in push to main #149: Commit f3b64a8 pushed by dwrensha
September 5, 2023 13:14 3m 22s main
main
September 5, 2023 13:14 3m 22s
[Imo1964Q4] another Nonempty.some instead of truncOfCardPos push to main #148: Commit 0adf4cc pushed by dwrensha
September 5, 2023 12:45 3m 27s main
main
September 5, 2023 12:45 3m 27s
update mathlib push to main #147: Commit efe7024 pushed by dwrensha
September 4, 2023 15:28 4m 4s main
main
September 4, 2023 15:28 4m 4s
[Usa2002Q1] progress push to main #146: Commit 66ca124 pushed by dwrensha
September 1, 2023 17:33 3m 48s main
main
September 1, 2023 17:33 3m 48s
[Imo1964Q4] Nonempty.some instead of truncOfCardPos push to main #145: Commit 52a2500 pushed by dwrensha
September 1, 2023 16:04 3m 14s main
main
September 1, 2023 16:04 3m 14s
[Usa2002Q1] branches push to main #144: Commit e8497db pushed by dwrensha
August 31, 2023 22:11 3m 47s main
main
August 31, 2023 22:11 3m 47s
ProTip! You can narrow down the results and go further in time using created:<2023-08-31 or the other filters available.