Skip to content

Actions: Lean-zh/lean-zh.github.io

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yaml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #14 from Lean-zh/add-docs-url Deploy #24: Commit fc3f7fb pushed by RexWzh
30s main
main
30s
finish verso & fix lake-doc Deploy #23: Commit e2ec366 pushed by subfish-zhou
32s main
main
32s
add verso Deploy #22: Commit dbfec43 pushed by subfish-zhou
29s main
main
29s
fix admonition Deploy #21: Commit fbff23a pushed by subfish-zhou
25s main
main
25s
test admonition block Deploy #20: Commit d58567c pushed by subfish-zhou
35s main
main
35s
create verso.md & test admonition block Deploy #19: Commit dd92209 pushed by subfish-zhou
26s main
main
26s
Merge branch 'main' of github.com:Lean-zh/lean-zh.github.io Deploy #18: Commit 9b81141 pushed by subfish-zhou
26s main
main
26s
Added LoVe2025 Deploy #17: Commit 11c7640 pushed by OlingCat
31s main
main
31s
add type checking in lean Deploy #16: Commit 216dcb2 pushed by subfish-zhou
30s main
main
30s
fix img in pantograph Deploy #15: Commit 6dc10e8 pushed by subfish-zhou
36s main
main
36s
update pantograph Deploy #14: Commit 427546c pushed by subfish-zhou
31s main
main
31s
fix leansearch Deploy #13: Commit 15407b7 pushed by subfish-zhou
33s main
main
33s
add leansearch Deploy #12: Commit 57da7ea pushed by subfish-zhou
32s main
main
32s
add aesop & duper Deploy #11: Commit 76bf5b6 pushed by subfish-zhou
36s main
main
36s
mathlib4-help Deploy #10: Commit 3b5d068 pushed by subfish-zhou
32s main
main
32s
Merge pull request #13 from Lean-zh/contribute Deploy #9: Commit e6639fb pushed by RexWzh
28s main
main
28s
Merge pull request #12 from Lean-zh/contribute Deploy #8: Commit c71df8f pushed by RexWzh
38s main
main
38s
Merge pull request #11 from Lean-zh/rex/update-tutorial Deploy #7: Commit 51fc20c pushed by RexWzh
40s main
main
40s
Merge pull request #10 from Lean-zh/rex/update-homepage Deploy #6: Commit 1249811 pushed by RexWzh
28s main
main
28s
update lean4game tutorial Deploy #5: Commit f5cdc83 pushed by RexWzh
29s main
main
29s