Skip to content

Actions: mbkybky/GaloisRamification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update README.md Build #5: Commit 12efb9a pushed by mbkybky
October 26, 2024 11:22 2m 40s master
master
October 26, 2024 11:22 2m 40s
Update README.md Build #4: Commit 889031b pushed by mbkybky
October 26, 2024 11:21 2m 29s master
master
October 26, 2024 11:21 2m 29s
Update README.md Build #3: Commit 7b07b3f pushed by mbkybky
October 26, 2024 09:17 2m 48s master
master
October 26, 2024 09:17 2m 48s
fix build Build #2: Commit 1559f5a pushed by mbkybky
October 26, 2024 08:43 2m 28s master
master
October 26, 2024 08:43 2m 28s
init Build #1: Commit 59700a1 pushed by mbkybky
October 26, 2024 08:24 1m 9s master
master
October 26, 2024 08:24 1m 9s