Skip to content

Actions: Lean-zh/tp-lean-zh

mdbook deploy to github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix dependent_type_theory.md
mdbook deploy to github pages #28: Commit 8cb1712 pushed by subfish-zhou
September 26, 2024 14:08 15s master
September 26, 2024 14:08 15s
Merge pull request #10 from qiancy98/patch-1
mdbook deploy to github pages #27: Commit 5ee70f8 pushed by OlingCat
September 8, 2024 10:02 14s master
September 8, 2024 10:02 14s
unified term
mdbook deploy to github pages #26: Commit e872f0f pushed by OlingCat
June 23, 2024 03:08 15s master
June 23, 2024 03:08 15s
format spaces
mdbook deploy to github pages #25: Commit 4dce82c pushed by OlingCat
June 22, 2024 20:34 15s master
June 22, 2024 20:34 15s
fix bold space
mdbook deploy to github pages #24: Commit 1c11091 pushed by OlingCat
June 22, 2024 20:25 19s master
June 22, 2024 20:25 19s
fix bold
mdbook deploy to github pages #23: Commit 2846fa7 pushed by OlingCat
June 22, 2024 19:48 19s master
June 22, 2024 19:48 19s
format spaces
mdbook deploy to github pages #22: Commit bec69ac pushed by OlingCat
June 22, 2024 19:42 15s master
June 22, 2024 19:42 15s
Merge pull request #8 from Lean-zh/axiom
mdbook deploy to github pages #21: Commit bd5fda9 pushed by OlingCat
June 22, 2024 19:10 19s master
June 22, 2024 19:10 19s
Merge pull request #7 from subfish-zhou/master
mdbook deploy to github pages #20: Commit d6ae935 pushed by OlingCat
June 22, 2024 14:43 19s master
June 22, 2024 14:43 19s
Merge pull request #5 from subfish-zhou/update
mdbook deploy to github pages #19: Commit 0b73a10 pushed by OlingCat
June 18, 2024 16:09 17s master
June 18, 2024 16:09 17s
Format spaces
mdbook deploy to github pages #18: Commit 8836bd7 pushed by OlingCat
June 18, 2024 14:44 14s master
June 18, 2024 14:44 14s
Fix title page
mdbook deploy to github pages #17: Commit 5a9b7d3 pushed by OlingCat
June 17, 2024 19:56 21s master
June 17, 2024 19:56 21s
Fix title page
mdbook deploy to github pages #16: Commit 81029ac pushed by OlingCat
June 17, 2024 19:52 19s master
June 17, 2024 19:52 19s
Fix title page
mdbook deploy to github pages #15: Commit e85b3ec pushed by OlingCat
June 17, 2024 19:39 17s master
June 17, 2024 19:39 17s
Fix title page
mdbook deploy to github pages #14: Commit 1fbb93c pushed by OlingCat
June 17, 2024 19:34 18s master
June 17, 2024 19:34 18s
Update deploy.yml
mdbook deploy to github pages #13: Commit 1c4ebba pushed by OlingCat
June 17, 2024 19:31 13s master
June 17, 2024 19:31 13s
Fix title page
mdbook deploy to github pages #12: Commit 1603a2c pushed by OlingCat
June 17, 2024 19:16 20s master
June 17, 2024 19:16 20s
Fix title page
mdbook deploy to github pages #11: Commit c5f6cde pushed by OlingCat
June 17, 2024 19:13 13s master
June 17, 2024 19:13 13s
Fix title page
mdbook deploy to github pages #10: Commit b9f7d54 pushed by OlingCat
June 17, 2024 19:10 14s master
June 17, 2024 19:10 14s
Fix title page
mdbook deploy to github pages #9: Commit 9c2f483 pushed by OlingCat
June 17, 2024 19:08 15s master
June 17, 2024 19:08 15s
Merge pull request #4 from Lean-zh/type-classes
mdbook deploy to github pages #8: Commit 06e8744 pushed by OlingCat
June 17, 2024 18:53 16s master
June 17, 2024 18:53 16s
Update book.toml
mdbook deploy to github pages #7: Commit e5bf156 pushed by OlingCat
June 17, 2024 15:54 16s master
June 17, 2024 15:54 16s
Merge pull request #3 from subfish-zhou/backup
mdbook deploy to github pages #6: Commit 21d23d6 pushed by OlingCat
June 17, 2024 15:40 15s master
June 17, 2024 15:40 15s
Update CI for Lean-zh
mdbook deploy to github pages #5: Commit d4d163a pushed by OlingCat
June 2, 2024 09:21 15s master
June 2, 2024 09:21 15s
indicate how to type and (#80)
mdbook deploy to github pages #4: Commit 81b0283 pushed by OlingCat
April 28, 2024 12:17 14s master
April 28, 2024 12:17 14s