Skip to content

Actions: mbkybky/GaloisRamification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump Mathlib Build #26: Commit 428cadd pushed by mbkybky
December 1, 2024 11:39 2m 31s master
master
December 1, 2024 11:39 2m 31s
bump Mathlib Build docs #4: Commit 428cadd pushed by mbkybky
December 1, 2024 11:39 21m 8s master
master
December 1, 2024 11:39 21m 8s
define decompositionGroup Build #25: Commit 17a600f pushed by mbkybky
November 18, 2024 04:26 2m 36s master
master
November 18, 2024 04:26 2m 36s
define decompositionGroup Build docs #3: Commit 17a600f pushed by mbkybky
November 18, 2024 04:26 20m 37s master
master
November 18, 2024 04:26 20m 37s
firest part done Build #24: Commit 05d46d0 pushed by mbkybky
November 17, 2024 04:57 2m 35s master
master
November 17, 2024 04:57 2m 35s
firest part done Build docs #2: Commit 05d46d0 pushed by mbkybky
November 17, 2024 04:57 19m 50s master
master
November 17, 2024 04:57 19m 50s
bump toolchain to v4.14.0-rc2 Build docs #1: Commit 30800cc pushed by mbkybky
November 13, 2024 02:35 20m 6s master
master
November 13, 2024 02:35 20m 6s
bump toolchain to v4.14.0-rc2 Build #23: Commit 30800cc pushed by mbkybky
November 13, 2024 02:35 2m 35s master
master
November 13, 2024 02:35 2m 35s
Merge pull request #1 from mbkybky/IsGalois Build #22: Commit 1070c2f pushed by mbkybky
October 29, 2024 13:51 2m 29s master
master
October 29, 2024 13:51 2m 29s
完成 IsGalolis.lean Build #21: Pull request #1 synchronize by mbkybky
October 29, 2024 13:47 2m 30s IsGalois
IsGalois
October 29, 2024 13:47 2m 30s
fix Build #20: Commit 6caa12b pushed by mbkybky
October 29, 2024 13:47 2m 36s IsGalois
IsGalois
October 29, 2024 13:47 2m 36s
完成 IsGalolis.lean Build #19: Pull request #1 synchronize by yhtq
October 29, 2024 12:43 2m 29s IsGalois
IsGalois
October 29, 2024 12:43 2m 29s
fix name Build #18: Commit d3ee291 pushed by yhtq
October 29, 2024 12:43 2m 41s IsGalois
IsGalois
October 29, 2024 12:43 2m 41s
完成 IsGalolis.lean Build #17: Pull request #1 synchronize by yhtq
October 29, 2024 11:42 1m 18s IsGalois
IsGalois
October 29, 2024 11:42 1m 18s
Update GaloisRamification/ToMathlib/IsGalois.lean Build #16: Commit 740c97f pushed by yhtq
October 29, 2024 11:42 2m 32s IsGalois
IsGalois
October 29, 2024 11:42 2m 32s
完成 IsGalolis.lean Build #15: Pull request #1 synchronize by yhtq
October 29, 2024 11:42 1m 16s IsGalois
IsGalois
October 29, 2024 11:42 1m 16s
Update GaloisRamification/ToMathlib/IsGalois.lean Build #14: Commit 6c76b5e pushed by yhtq
October 29, 2024 11:42 2m 28s IsGalois
IsGalois
October 29, 2024 11:42 2m 28s
完成 IsGalolis.lean Build #13: Pull request #1 synchronize by yhtq
October 29, 2024 11:42 1m 30s IsGalois
IsGalois
October 29, 2024 11:42 1m 30s
Update GaloisRamification/ToMathlib/IsGalois.lean Build #12: Commit e54e3cf pushed by yhtq
October 29, 2024 11:42 2m 33s IsGalois
IsGalois
October 29, 2024 11:42 2m 33s
完成 IsGalolis.lean Build #11: Pull request #1 opened by yhtq
October 29, 2024 08:48 2m 33s IsGalois
IsGalois
October 29, 2024 08:48 2m 33s
Finish IsGalois Build #10: Commit ca817c6 pushed by yhtq
October 29, 2024 08:45 2m 43s IsGalois
IsGalois
October 29, 2024 08:45 2m 43s
Update Mathlib dependencies Build #9: Commit c78385b pushed by mbkybky
October 28, 2024 14:34 2m 32s master
master
October 28, 2024 14:34 2m 32s
add TransAlgStruct.lean Build #8: Commit 862ff8a pushed by yhtq
October 28, 2024 07:27 2m 29s IsGalois
IsGalois
October 28, 2024 07:27 2m 29s
Add IsGalois.lean Build #7: Commit adc43f3 pushed by mbkybky
October 26, 2024 15:39 2m 43s master
master
October 26, 2024 15:39 2m 43s
Update Normal.lean Build #6: Commit af38ca6 pushed by mbkybky
October 26, 2024 14:38 2m 39s master
master
October 26, 2024 14:38 2m 39s