Skip to content

Actions: Lean-zh/mp-lean-zh

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update 2024.10.29 CI #31: Commit 47d9852 pushed by subfish-zhou
October 29, 2024 16:59 2m 46s master
master
October 29, 2024 16:59 2m 46s
Create book.yml CI #30: Commit 2fc2b4c pushed by subfish-zhou
September 26, 2024 16:19 23s master
master
September 26, 2024 16:19 23s
Delete .github/workflows/book.yml CI #29: Commit 52db889 pushed by subfish-zhou
September 26, 2024 16:16 24s master
master
September 26, 2024 16:16 24s
Merge branch 'master' of github.com:Lean-zh/mp-lean-zh CI #28: Commit 2c0f84f pushed by subfish-zhou
September 26, 2024 16:06 31s master
master
September 26, 2024 16:06 31s
Delete .github/workflows/mdbook.yml CI #27: Commit 87a4a53 pushed by subfish-zhou
September 26, 2024 15:56 20s master
master
September 26, 2024 15:56 20s
ch 4 CI #26: Commit e3ca7a4 pushed by subfish-zhou
September 26, 2024 15:31 19s master
master
September 26, 2024 15:31 19s
ch extra3 CI #25: Commit 17e6541 pushed by subfish-zhou
September 23, 2024 14:03 26s master
master
September 23, 2024 14:03 26s
Merge branch 'master' of github.com:Lean-zh/mp-lean-zh CI #24: Commit 49f3ab2 pushed by subfish-zhou
September 23, 2024 13:35 20s master
master
September 23, 2024 13:35 20s
Create mdbook.yml CI #23: Commit 0555182 pushed by subfish-zhou
September 23, 2024 08:00 19s master
master
September 23, 2024 08:00 19s
ch 7 CI #22: Commit f243e3f pushed by subfish-zhou
September 22, 2024 18:53 21s master
master
September 22, 2024 18:53 21s
ch 5 & 6 & 8 & part of 4 CI #21: Commit 6e26a26 pushed by subfish-zhou
September 21, 2024 21:11 20s master
master
September 21, 2024 21:11 20s
Delete .github/workflows/mdbook.yml CI #20: Commit 3ac8256 pushed by subfish-zhou
September 16, 2024 18:58 19s master
master
September 16, 2024 18:58 19s
Create mdbook.yml CI #19: Commit 0e48ea4 pushed by subfish-zhou
September 16, 2024 18:54 26s master
master
September 16, 2024 18:54 26s
fix ch2 CI #18: Commit 5367662 pushed by subfish-zhou
September 16, 2024 18:53 21s master
master
September 16, 2024 18:53 21s
reset CI #17: Commit 73deb15 pushed by subfish-zhou
September 16, 2024 18:31 21s master
master
September 16, 2024 18:31 21s
Merge pull request #144 from adomasbaliuka/patch-1 CI #16: Commit e474680 pushed by subfish-zhou
September 16, 2024 16:49 25s master
master
September 16, 2024 16:49 25s
Merge branch 'master' of github.com:Lean-zh/mp-lean-zh CI #15: Commit 3f75cd3 pushed by subfish-zhou
September 16, 2024 16:43 17s master
master
September 16, 2024 16:43 17s
minor fix CI #14: Commit 3c9eb1a pushed by subfish-zhou
September 16, 2024 16:39 18s master
master
September 16, 2024 16:39 18s
fix backtick CI #13: Commit 0d9ad0a pushed by subfish-zhou
September 16, 2024 16:16 25s master
master
September 16, 2024 16:16 25s
catch up with the latest CI #12: Commit 6cf9eaa pushed by subfish-zhou
September 16, 2024 16:07 18s master
master
September 16, 2024 16:07 18s
minor fix CI #11: Commit 3c9eb1a pushed by subfish-zhou
September 16, 2024 14:35 2m 44s master
master
September 16, 2024 14:35 2m 44s
chap4 CI #10: Commit f84d712 pushed by subfish-zhou
August 4, 2024 15:34 26s master
master
August 4, 2024 15:34 26s
chapter 3 CI #9: Commit fc82870 pushed by subfish-zhou
August 1, 2024 08:44 19s master
master
August 1, 2024 08:44 19s
fix CI #8: Commit 29a5883 pushed by subfish-zhou
July 30, 2024 09:58 21s master
master
July 30, 2024 09:58 21s
chapter 2 CI #7: Commit 89b00c2 pushed by subfish-zhou
July 30, 2024 08:32 23s master
master
July 30, 2024 08:32 23s