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

[Usa2002Q1] some intros push to main #143: Commit 552c218 pushed by dwrensha
August 31, 2023 21:45 3m 55s main
main
August 31, 2023 21:45 3m 55s
[Usa2002Q1] vastly simplify push to main #142: Commit 87dd600 pushed by dwrensha
August 31, 2023 21:26 3m 12s main
main
August 31, 2023 21:26 3m 12s
[Usa2002Q1] fix main theorem statement push to main #141: Commit a20e666 pushed by dwrensha
August 31, 2023 20:25 3m 16s main
main
August 31, 2023 20:25 3m 16s
[Usa2002Q1] derive DecidableEq and close the base case push to main #140: Commit 9bd7d16 pushed by dwrensha
August 31, 2023 20:20 3m 51s main
main
August 31, 2023 20:20 3m 51s
update mathlib push to main #139: Commit 7127a4c pushed by dwrensha
August 31, 2023 19:04 3m 59s main
main
August 31, 2023 19:04 3m 59s
[Usa2002Q1] work in progress push to main #138: Commit ee111cf pushed by dwrensha
August 30, 2023 00:30 3m 26s main
main
August 30, 2023 00:30 3m 26s
[Usa2002Q1] add informal solution push to main #137: Commit 2cdff12 pushed by dwrensha
August 29, 2023 21:46 4m 20s main
main
August 29, 2023 21:46 4m 20s
update mathlib push to main #136: Commit a7cd64a pushed by dwrensha
August 29, 2023 20:21 3m 17s main
main
August 29, 2023 20:21 3m 17s
more apply_fun push to main #135: Commit c161b89 pushed by dwrensha
August 29, 2023 12:07 4m 1s main
main
August 29, 2023 12:07 4m 1s
[Hungary1998Q6] simplify using apply_fun push to main #134: Commit 08cb47e pushed by dwrensha
August 29, 2023 11:57 3m 16s main
main
August 29, 2023 11:57 3m 16s
[Iran1998Q9] simplify after field_simp improvement https://github.com… push to main #133: Commit b270396 pushed by dwrensha
August 27, 2023 11:22 3m 11s main
main
August 27, 2023 11:22 3m 11s
update mathlib push to main #132: Commit 229a670 pushed by dwrensha
August 27, 2023 11:12 3m 6s main
main
August 27, 2023 11:12 3m 6s
[Usa2002Q1] add problem statement push to main #131: Commit 893eec6 pushed by dwrensha
August 26, 2023 00:54 3m 8s main
main
August 26, 2023 00:54 3m 8s
[Usa1998Q3] lemma3 -> Finset.prod_mul_distrib, lemma4 -> Finset.prod_… push to main #130: Commit 563cd2c pushed by dwrensha
August 25, 2023 02:38 3m 0s main
main
August 25, 2023 02:38 3m 0s
[Usa1998Q3] cleanup push to main #129: Commit d6ad302 pushed by dwrensha
August 25, 2023 02:31 3m 11s main
main
August 25, 2023 02:31 3m 11s
[Usa1998Q3] remove non-terminal simps push to main #128: Commit f9173d6 pushed by dwrensha
August 25, 2023 02:21 3m 40s main
main
August 25, 2023 02:21 3m 40s
[Usa1998Q3] simpler proof of lemma2' push to main #127: Commit 347a886 pushed by dwrensha
August 24, 2023 22:19 3m 48s main
main
August 24, 2023 22:19 3m 48s
update mathlib push to main #126: Commit c85ec1f pushed by dwrensha
August 24, 2023 20:54 3m 53s main
main
August 24, 2023 20:54 3m 53s
[Usa1998Q3] finish proof push to main #125: Commit 7ae89b4 pushed by dwrensha
August 24, 2023 19:52 3m 43s main
main
August 24, 2023 19:52 3m 43s
[Usa1998Q3] remove unneeded line push to main #124: Commit b0d7da3 pushed by dwrensha
August 23, 2023 16:44 3m 31s main
main
August 23, 2023 16:44 3m 31s
[Usa1998Q3] only h6 remains push to main #123: Commit 571581e pushed by dwrensha
August 23, 2023 15:11 3m 12s main
main
August 23, 2023 15:11 3m 12s
[Usa1998Q3] finish proof of h7 push to main #122: Commit 7f2dd71 pushed by dwrensha
August 23, 2023 14:56 4m 24s main
main
August 23, 2023 14:56 4m 24s
[Usa1998Q3] some progress push to main #121: Commit 72348f2 pushed by dwrensha
August 23, 2023 01:21 3m 9s main
main
August 23, 2023 01:21 3m 9s
[Usa1998Q3] prove next step and write out some informal steps after that push to main #120: Commit 1325525 pushed by dwrensha
August 22, 2023 21:40 3m 9s main
main
August 22, 2023 21:40 3m 9s
[Usa1998Q3] remove checks push to main #119: Commit a6022de pushed by dwrensha
August 22, 2023 19:20 4m 4s main
main
August 22, 2023 19:20 4m 4s
ProTip! You can narrow down the results and go further in time using created:<2023-08-22 or the other filters available.