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

sorry-free again .github/workflows/blueprint.yml #266: Commit ddbbc7a pushed by Whysoserioushah
January 22, 2025 16:03 16m 34s main
main
January 22, 2025 16:03 16m 34s
Merge pull request #9 from Whysoserioushah/sorryfreelaofeng .github/workflows/blueprint.yml #265: Commit 66b493f pushed by Whysoserioushah
January 22, 2025 15:26 44m 0s main
main
January 22, 2025 15:26 44m 0s
fix? .github/workflows/blueprint.yml #264: Commit b129e21 pushed by jjaassoonn
December 5, 2024 00:17 24m 18s main
main
December 5, 2024 00:17 24m 18s
add \uses .github/workflows/blueprint.yml #263: Commit 41b9a13 pushed by jjaassoonn
December 4, 2024 23:25 23m 20s main
main
December 4, 2024 23:25 23m 20s
finish the final argument .github/workflows/blueprint.yml #262: Commit cf90531 pushed by jjaassoonn
December 4, 2024 22:04 23m 15s main
main
December 4, 2024 22:04 23m 15s
better proof; a bit more blue print; fix decl .github/workflows/blueprint.yml #261: Commit 0bbbfeb pushed by jjaassoonn
December 3, 2024 15:25 24m 35s main
main
December 3, 2024 15:25 24m 35s
fix tikzcd .github/workflows/blueprint.yml #260: Commit 2bdda81 pushed by jjaassoonn
December 3, 2024 13:16 23m 29s main
main
December 3, 2024 13:16 23m 29s
a bit on map_mul .github/workflows/blueprint.yml #259: Commit 8cee250 pushed by jjaassoonn
December 3, 2024 13:10 23m 4s main
main
December 3, 2024 13:10 23m 4s
inverse .github/workflows/blueprint.yml #258: Commit e7a525d pushed by jjaassoonn
December 3, 2024 06:12 23m 0s main
main
December 3, 2024 06:12 23m 0s
a bit more .github/workflows/blueprint.yml #257: Commit 1ed1ef8 pushed by jjaassoonn
December 3, 2024 04:35 22m 49s main
main
December 3, 2024 04:35 22m 49s
change title .github/workflows/blueprint.yml #256: Commit 950c6c8 pushed by jjaassoonn
December 3, 2024 01:13 23m 8s main
main
December 3, 2024 01:13 23m 8s
finish the section on cross product. .github/workflows/blueprint.yml #255: Commit 55ada37 pushed by jjaassoonn
December 3, 2024 01:12 24m 27s main
main
December 3, 2024 01:12 24m 27s
finish central cross product .github/workflows/blueprint.yml #254: Commit d375371 pushed by jjaassoonn
December 2, 2024 18:51 24m 1s main
main
December 2, 2024 18:51 24m 1s
fix leandecl .github/workflows/blueprint.yml #253: Commit 399d835 pushed by jjaassoonn
November 30, 2024 16:17 23m 10s main
main
November 30, 2024 16:17 23m 10s
typo .github/workflows/blueprint.yml #252: Commit c314254 pushed by jjaassoonn
November 30, 2024 15:52 23m 10s main
main
November 30, 2024 15:52 23m 10s
typo .github/workflows/blueprint.yml #251: Commit 0053766 pushed by jjaassoonn
November 30, 2024 14:27 22m 39s main
main
November 30, 2024 14:27 22m 39s
a bit more .github/workflows/blueprint.yml #250: Commit 3e81c75 pushed by jjaassoonn
November 30, 2024 14:26 22m 38s main
main
November 30, 2024 14:26 22m 38s
a bit more .github/workflows/blueprint.yml #249: Commit d25419c pushed by jjaassoonn
November 30, 2024 02:05 22m 52s main
main
November 30, 2024 02:05 22m 52s
fix typo .github/workflows/blueprint.yml #248: Commit ab550e6 pushed by jjaassoonn
November 30, 2024 01:44 22m 37s main
main
November 30, 2024 01:44 22m 37s
associativity .github/workflows/blueprint.yml #247: Commit 25f9de5 pushed by jjaassoonn
November 30, 2024 01:25 22m 22s main
main
November 30, 2024 01:25 22m 22s
add \lean .github/workflows/blueprint.yml #246: Commit 03d3562 pushed by jjaassoonn
November 29, 2024 17:07 23m 44s main
main
November 29, 2024 17:07 23m 44s
spacing issue .github/workflows/blueprint.yml #245: Commit ee48d1d pushed by jjaassoonn
November 29, 2024 17:05 23m 1s main
main
November 29, 2024 17:05 23m 1s
finish $\br$ to $H^2$. .github/workflows/blueprint.yml #244: Commit e8e8933 pushed by jjaassoonn
November 29, 2024 17:04 23m 45s main
main
November 29, 2024 17:04 23m 45s
comparing three conjugation factors .github/workflows/blueprint.yml #243: Commit ea78d47 pushed by jjaassoonn
November 27, 2024 15:26 23m 21s main
main
November 27, 2024 15:26 23m 21s
starting on galois coh .github/workflows/blueprint.yml #242: Commit 97d2c02 pushed by jjaassoonn
November 26, 2024 16:43 24m 59s main
main
November 26, 2024 16:43 24m 59s