Skip to content

Actions: Whysoserioushah/BrauerGroup_new

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
266 workflow runs
266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

copyright .github/workflows/blueprint.yml #166: Commit 613afb2 pushed by jjaassoonn
October 1, 2024 22:54 31m 17s main
main
October 1, 2024 22:54 31m 17s
finish dc .github/workflows/blueprint.yml #165: Commit 57518b5 pushed by jjaassoonn
October 1, 2024 22:46 30m 20s main
main
October 1, 2024 22:46 30m 20s
more skeleton .github/workflows/blueprint.yml #164: Commit e597344 pushed by jjaassoonn
September 27, 2024 01:53 31m 25s main
main
September 27, 2024 01:53 31m 25s
skeleton .github/workflows/blueprint.yml #163: Commit f78ae72 pushed by jjaassoonn
September 27, 2024 01:08 30m 42s main
main
September 27, 2024 01:08 30m 42s
add a simpler version of Skolem Noether .github/workflows/blueprint.yml #162: Commit c3f6dcd pushed by jjaassoonn
September 26, 2024 22:51 30m 39s main
main
September 26, 2024 22:51 30m 39s
another lemma .github/workflows/blueprint.yml #161: Commit 7fc8812 pushed by jjaassoonn
September 26, 2024 22:43 31m 3s main
main
September 26, 2024 22:43 31m 3s
finish the first lemma .github/workflows/blueprint.yml #160: Commit b85251f pushed by jjaassoonn
September 26, 2024 17:15 31m 10s main
main
September 26, 2024 17:15 31m 10s
some skeleton .github/workflows/blueprint.yml #159: Commit 953ca01 pushed by jjaassoonn
September 26, 2024 16:55 31m 49s main
main
September 26, 2024 16:55 31m 49s
finish indecomp_of_idem .github/workflows/blueprint.yml #158: Commit a9eb113 pushed by jjaassoonn
September 25, 2024 19:54 30m 56s main
main
September 25, 2024 19:54 30m 56s
paritial proof of indecomp_of_idem .github/workflows/blueprint.yml #157: Commit 5f606a1 pushed by jjaassoonn
September 25, 2024 16:00 30m 32s main
main
September 25, 2024 16:00 30m 32s
indecomp .github/workflows/blueprint.yml #156: Commit a2d4f48 pushed by Whysoserioushah
September 25, 2024 14:32 31m 35s main
main
September 25, 2024 14:32 31m 35s
asoidjsaiodsajo .github/workflows/blueprint.yml #155: Commit 495697c pushed by Whysoserioushah
September 25, 2024 14:31 31m 5s main
main
September 25, 2024 14:31 31m 5s
defs .github/workflows/blueprint.yml #154: Commit 2b39173 pushed by Whysoserioushah
September 24, 2024 15:34 31m 33s main
main
September 24, 2024 15:34 31m 33s
fix .github/workflows/blueprint.yml #153: Commit cc2f4a3 pushed by Whysoserioushah
September 19, 2024 20:27 31m 16s main
main
September 19, 2024 20:27 31m 16s
fix one thing .github/workflows/blueprint.yml #152: Commit f163cdc pushed by jjaassoonn
September 16, 2024 02:26 30m 25s main
main
September 16, 2024 02:26 30m 25s
add a definition of Galois Functor .github/workflows/blueprint.yml #151: Commit b8f2bf8 pushed by jjaassoonn
September 16, 2024 02:19 32m 51s main
main
September 16, 2024 02:19 32m 51s
bump and add field over cat .github/workflows/blueprint.yml #150: Commit 6fa3e7a pushed by Whysoserioushah
September 16, 2024 01:09 8m 14s main
main
September 16, 2024 01:09 8m 14s
. .github/workflows/blueprint.yml #149: Commit d1e46ba pushed by Whysoserioushah
September 14, 2024 15:47 7m 55s main
main
September 14, 2024 15:47 7m 55s
bump mathlib .github/workflows/blueprint.yml #148: Commit dfd39f0 pushed by Whysoserioushah
September 14, 2024 15:33 8m 17s main
main
September 14, 2024 15:33 8m 17s
add some helpful comments .github/workflows/blueprint.yml #147: Commit f3832b0 pushed by jjaassoonn
September 14, 2024 01:29 8m 43s main
main
September 14, 2024 01:29 8m 43s
unused variable .github/workflows/blueprint.yml #146: Commit f8560dc pushed by jjaassoonn
September 14, 2024 01:26 9m 21s main
main
September 14, 2024 01:26 9m 21s
fix too slow problem .github/workflows/blueprint.yml #145: Commit 924ab8c pushed by jjaassoonn
September 14, 2024 01:26 8m 48s main
main
September 14, 2024 01:26 8m 48s
faithful finished --need fixing .github/workflows/blueprint.yml #144: Commit 3347362 pushed by Whysoserioushah
September 13, 2024 15:53 9m 0s main
main
September 13, 2024 15:53 9m 0s
trying .github/workflows/blueprint.yml #143: Commit 2269c16 pushed by Whysoserioushah
September 12, 2024 09:59 34m 19s main
main
September 12, 2024 09:59 34m 19s
this is disgusting but it works kind of .github/workflows/blueprint.yml #142: Commit 67bde2c pushed by jjaassoonn
September 11, 2024 16:00 33m 58s main
main
September 11, 2024 16:00 33m 58s