Skip to content

Actions: Lean-zh/mp-lean-zh

Actions

Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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