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

Merge branch 'main' of https://github.com/Whysoserioushah/BrauerGroup… .github/workflows/blueprint.yml #66: Commit 43e81f0 pushed by ahhwuhu
July 29, 2024 15:31 16m 4s main
main
July 29, 2024 15:31 16m 4s
bjm's work .github/workflows/blueprint.yml #65: Commit e96b023 pushed by Whysoserioushah
July 29, 2024 15:30 17m 18s main
main
July 29, 2024 15:30 17m 18s
bim's work .github/workflows/blueprint.yml #64: Commit f4b06e9 pushed by Whysoserioushah
July 29, 2024 14:20 17m 19s main
main
July 29, 2024 14:20 17m 19s
Update SkolemNoether.lean .github/workflows/blueprint.yml #63: Commit 73eb688 pushed by benjzyq
July 29, 2024 13:11 16m 56s main
main
July 29, 2024 13:11 16m 56s
bjm's complicated work .github/workflows/blueprint.yml #62: Commit 4ac5520 pushed by Whysoserioushah
July 29, 2024 00:33 16m 0s main
main
July 29, 2024 00:33 16m 0s
bjm's complicated work .github/workflows/blueprint.yml #61: Commit baa2745 pushed by Whysoserioushah
July 28, 2024 23:06 16m 0s main
main
July 28, 2024 23:06 16m 0s
trying new things .github/workflows/blueprint.yml #60: Commit fbbf906 pushed by Whysoserioushah
July 28, 2024 22:15 16m 1s main
main
July 28, 2024 22:15 16m 1s
BrauerGroup/SplittingOfCSA.lean .github/workflows/blueprint.yml #59: Commit 3348117 pushed by ahhwuhu
July 28, 2024 04:08 16m 56s main
main
July 28, 2024 04:08 16m 56s
give up .github/workflows/blueprint.yml #58: Commit 334ac88 pushed by Whysoserioushah
July 28, 2024 00:52 16m 50s main
main
July 28, 2024 00:52 16m 50s
fix .github/workflows/blueprint.yml #57: Commit 52f6bfc pushed by Whysoserioushah
July 27, 2024 14:39 16m 15s main
main
July 27, 2024 14:39 16m 15s
check the statement? .github/workflows/blueprint.yml #56: Commit c0c1e5f pushed by Whysoserioushah
July 27, 2024 14:18 16m 17s main
main
July 27, 2024 14:18 16m 17s
fix auto .github/workflows/blueprint.yml #55: Commit df0484a pushed by Whysoserioushah
July 27, 2024 13:41 16m 4s main
main
July 27, 2024 13:41 16m 4s
Merge branch 'main' of https://github.com/Whysoserioushah/BrauerGroup… .github/workflows/blueprint.yml #54: Commit 61a85e0 pushed by Whysoserioushah
July 26, 2024 14:41 16m 48s main
main
July 26, 2024 14:41 16m 48s
BrauerGroup/SplittingOfCSA.lean .github/workflows/blueprint.yml #53: Commit 34ece63 pushed by ahhwuhu
July 26, 2024 07:18 16m 43s main
main
July 26, 2024 07:18 16m 43s
sorry free .github/workflows/blueprint.yml #52: Commit d50f75b pushed by jjaassoonn
July 25, 2024 03:27 17m 7s main
main
July 25, 2024 03:27 17m 7s
comm_square .github/workflows/blueprint.yml #51: Commit 0026ee7 pushed by jjaassoonn
July 25, 2024 03:17 16m 59s main
main
July 25, 2024 03:17 16m 59s
proof comments .github/workflows/blueprint.yml #50: Commit 9552697 pushed by jjaassoonn
July 25, 2024 01:40 16m 21s main
main
July 25, 2024 01:40 16m 21s
two sorries .github/workflows/blueprint.yml #49: Commit 1fdac2d pushed by jjaassoonn
July 25, 2024 01:29 16m 49s main
main
July 25, 2024 01:29 16m 49s
e_hat LI .github/workflows/blueprint.yml #48: Commit e5523f2 pushed by jjaassoonn
July 25, 2024 00:05 16m 50s main
main
July 25, 2024 00:05 16m 50s
jujian's work .github/workflows/blueprint.yml #47: Commit b0184c1 pushed by Whysoserioushah
July 24, 2024 22:36 17m 0s main
main
July 24, 2024 22:36 17m 0s
fix ext over split .github/workflows/blueprint.yml #46: Commit d06db3d pushed by Whysoserioushah
July 24, 2024 20:41 16m 41s main
main
July 24, 2024 20:41 16m 41s
BrauerGroup/SplittingOfCSA.lean .github/workflows/blueprint.yml #45: Commit 870d69c pushed by ahhwuhu
July 24, 2024 07:58 16m 25s main
main
July 24, 2024 07:58 16m 25s
sorry free .github/workflows/blueprint.yml #44: Commit bd3a8eb pushed by Whysoserioushah
July 24, 2024 03:05 16m 24s main
main
July 24, 2024 03:05 16m 24s
Merge branch 'main' of https://github.com/Whysoserioushah/BrauerGroup… .github/workflows/blueprint.yml #43: Commit 7dcec1b pushed by Whysoserioushah
July 24, 2024 02:54 16m 10s main
main
July 24, 2024 02:54 16m 10s
Rename SkolemNoether.lean to BrauerGroup/SkolemNoether.lean .github/workflows/blueprint.yml #42: Commit 8527dc2 pushed by benjzyq
July 24, 2024 02:53 16m 12s main
main
July 24, 2024 02:53 16m 12s