Skip to content

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

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yaml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #11 from Lean-zh/rex/update-tutorial Deploy #7: Commit 51fc20c pushed by RexWzh
January 5, 2025 09:12 40s main
main
January 5, 2025 09:12 40s
Merge pull request #10 from Lean-zh/rex/update-homepage Deploy #6: Commit 1249811 pushed by RexWzh
December 29, 2024 13:01 28s main
main
December 29, 2024 13:01 28s
update lean4game tutorial Deploy #5: Commit f5cdc83 pushed by RexWzh
November 27, 2024 08:54 29s main
main
November 27, 2024 08:54 29s
Update index.md add MIL Deploy #4: Commit aefd9c0 pushed by subfish-zhou
October 18, 2024 18:43 30s main
main
October 18, 2024 18:43 30s
Update index.md add mp-in-lean Deploy #3: Commit 09e928c pushed by subfish-zhou
September 26, 2024 17:25 28s main
main
September 26, 2024 17:25 28s
Merge pull request #9 from Lean-zh/lake-tutorial Deploy #2: Commit f1ba94f pushed by RexWzh
September 10, 2024 14:56 30s main
main
September 10, 2024 14:56 30s
Shift form docsify to Mkdoc (#7) Deploy #1: Commit 5cd7e3b pushed by RexWzh
August 6, 2024 10:55 31s main
main
August 6, 2024 10:55 31s