Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow run results
30 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
[Usa1998Q3] finish proof of h4 push to main #118: Commit 9db6922 pushed by dwrensha
August 22, 2023 17:51 3m 18s main
main
August 22, 2023 17:51 3m 18s
[Usa1998Q3] more tidying push to main #117: Commit 52817e7 pushed by dwrensha
August 22, 2023 17:19 3m 11s main
main
August 22, 2023 17:19 3m 11s
[Usa1998Q3] golf push to main #116: Commit 95c53e1 pushed by dwrensha
August 22, 2023 17:12 3m 6s main
main
August 22, 2023 17:12 3m 6s
[Usa1998Q3] simpler and faster push to main #115: Commit b9016a1 pushed by dwrensha
August 22, 2023 17:04 3m 17s main
main
August 22, 2023 17:04 3m 17s
[Usa1998Q3] finish proof of hz push to main #114: Commit bc8e283 pushed by dwrensha
August 22, 2023 15:07 3m 49s main
main
August 22, 2023 15:07 3m 49s