Skip to content

Actions: Lean-zh/tp-lean-zh

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #9: by RexWzh
June 17, 2024 19:41 21s
June 17, 2024 19:41 21s
Fix title page mdbook deploy to github pages #15: Commit e85b3ec pushed by OlingCat
June 17, 2024 19:39 17s master
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
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
master
June 17, 2024 19:31 13s
pages build and deployment pages-build-deployment #8: by OlingCat
June 17, 2024 19:18 32s
June 17, 2024 19:18 32s
Fix title page mdbook deploy to github pages #12: Commit 1603a2c pushed by OlingCat
June 17, 2024 19:16 20s master
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
master
June 17, 2024 19:13 13s
pages build and deployment pages-build-deployment #7: by github-pages bot
June 17, 2024 19:10 28s
June 17, 2024 19:10 28s
Fix title page mdbook deploy to github pages #10: Commit b9f7d54 pushed by OlingCat
June 17, 2024 19:10 14s master
master
June 17, 2024 19:10 14s
pages build and deployment pages-build-deployment #6: by github-pages bot
June 17, 2024 19:08 23s
June 17, 2024 19:08 23s
Fix title page mdbook deploy to github pages #9: Commit 9c2f483 pushed by OlingCat
June 17, 2024 19:08 15s master
master
June 17, 2024 19:08 15s
pages build and deployment pages-build-deployment #5: by github-pages bot
June 17, 2024 18:53 35s
June 17, 2024 18:53 35s
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
master
June 17, 2024 18:53 16s
pages build and deployment pages-build-deployment #4: by github-pages bot
June 17, 2024 15:54 33s
June 17, 2024 15:54 33s
Update book.toml mdbook deploy to github pages #7: Commit e5bf156 pushed by OlingCat
June 17, 2024 15:54 16s master
master
June 17, 2024 15:54 16s
pages build and deployment pages-build-deployment #3: by github-pages bot
June 17, 2024 15:41 26s
June 17, 2024 15:41 26s
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
master
June 17, 2024 15:40 15s
pages build and deployment pages-build-deployment #2: by github-pages bot
June 2, 2024 09:22 32s
June 2, 2024 09:22 32s
Update CI for Lean-zh mdbook deploy to github pages #5: Commit d4d163a pushed by OlingCat
June 2, 2024 09:21 15s master
master
June 2, 2024 09:21 15s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #11: Scheduled
May 3, 2024 10:13 1m 11s master
master
May 3, 2024 10:13 1m 11s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #10: Scheduled
May 2, 2024 10:14 1m 5s master
master
May 2, 2024 10:14 1m 5s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #9: Scheduled
May 1, 2024 10:13 1m 9s master
master
May 1, 2024 10:13 1m 9s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #8: Scheduled
April 30, 2024 10:13 1m 9s master
master
April 30, 2024 10:13 1m 9s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #7: Scheduled
April 29, 2024 10:14 1m 17s master
master
April 29, 2024 10:14 1m 17s
indicate how to type ⟨ and ⟩ (#80) mdbook deploy to github pages #4: Commit 81b0283 pushed by OlingCat
April 28, 2024 12:17 14s master
master
April 28, 2024 12:17 14s