Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,744 workflow runs
1,744 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
remove check push to main #113: Commit 5e94e6d pushed by dwrensha
August 22, 2023 00:30 3m 34s main
main
August 22, 2023 00:30 3m 34s
update mathlib push to main #112: Commit d0b4779 pushed by dwrensha
August 21, 2023 23:08 3m 46s main
main
August 21, 2023 23:08 3m 46s
update mathlib push to main #111: Commit d52b53d pushed by dwrensha
August 19, 2023 21:41 3m 31s main
main
August 19, 2023 21:41 3m 31s
update mathlib push to main #110: Commit 25d639e pushed by dwrensha
August 13, 2023 23:36 3m 48s main
main
August 13, 2023 23:36 3m 48s
update mathlib push to main #109: Commit cd7a234 pushed by dwrensha
August 11, 2023 16:40 3m 0s main
main
August 11, 2023 16:40 3m 0s
update mathlib push to main #108: Commit 85214a3 pushed by dwrensha
August 8, 2023 03:14 3m 12s main
main
August 8, 2023 03:14 3m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-08-08 or the other filters available.