Skip to content

Actions: Lean-zh/mp-lean-zh

Deploy to github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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