Skip to content

Actions: Lean-zh/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #12: by github-pages bot
1m 36s deploy
deploy
1m 36s
Deploy Tagged Version Deploy Tagged Version #20: Manually run by sinianluoye
29m 6s main
main
29m 6s
pages build and deployment pages-build-deployment #11: by github-pages bot
1m 56s deploy
deploy
1m 56s
Deploy Tagged Version Deploy Tagged Version #19: Manually run by sinianluoye
23m 23s main
main
23m 23s
Merge pull request #30 from sinianluoye/issue/28 Deploy Tagged Version #18: Commit 2682331 pushed by sinianluoye
33s v0.0.10
v0.0.10
33s
Deploy Tagged Version Deploy Tagged Version #17: Manually run by sinianluoye
35s main
main
35s
pages build and deployment pages-build-deployment #10: by github-pages bot
1m 32s deploy
deploy
1m 32s
Merge pull request #27 from sinianluoye/fix/release_tag_workflow_failed Deploy Tagged Version #16: Commit 3455d8a pushed by sinianluoye
24m 38s v0.0.9
v0.0.9
24m 38s
Merge pull request #26 from sinianluoye/issue25 Deploy Tagged Version #15: Commit 2c70390 pushed by sinianluoye
10s v0.0.9
v0.0.9
10s
pages build and deployment pages-build-deployment #9: by github-pages bot
1m 28s deploy
deploy
1m 28s
Merge pull request #24 from sinianluoye/fix/20250629 Deploy Tagged Version #13: Commit ed49a1e pushed by sinianluoye
23m 29s v0.0.8
v0.0.8
23m 29s
pages build and deployment pages-build-deployment #8: by github-pages bot
1m 30s deploy
deploy
1m 30s
Merge pull request #23 from sinianluoye/fix/20250629 Deploy Tagged Version #12: Commit 61698b0 pushed by sinianluoye
19m 28s v0.0.7
v0.0.7
19m 28s
Merge pull request #22 from sinianluoye/issue/14 Deploy Tagged Version #11: Commit 0940030 pushed by sinianluoye
7m 38s v0.0.7
v0.0.7
7m 38s
Merge pull request #22 from sinianluoye/issue/14 Report PR testing status to the lean4 repository #2: Commit 0940030 pushed by sinianluoye
36s main
main
36s
pages build and deployment pages-build-deployment #7: by github-pages bot
1m 29s deploy
deploy
1m 29s
Merge pull request #20 from sinianluoye/issue/14 Deploy Tagged Version #10: Commit 86c6869 pushed by sinianluoye
2m 26s v0.0.6
v0.0.6
2m 26s
Merge pull request #18 from sinianluoye/issue/14 Deploy Tagged Version #9: Commit 21d377b pushed by sinianluoye
24m 5s v0.0.6
v0.0.6
24m 5s
pages build and deployment pages-build-deployment #6: by github-pages bot
1m 35s deploy
deploy
1m 35s
Merge pull request #17 from sinianluoye/issue/14 Deploy Tagged Version #8: Commit 5af16a7 pushed by sinianluoye
23m 40s v0.0.5
v0.0.5
23m 40s
pages build and deployment pages-build-deployment #5: by github-pages bot
2m 3s deploy
deploy
2m 3s
Merge pull request #16 from sinianluoye/issue/14 Deploy Tagged Version #7: Commit 649a1b3 pushed by sinianluoye
23m 41s v0.0.4
v0.0.4
23m 41s
pages build and deployment pages-build-deployment #4: by github-pages bot
1m 35s deploy
deploy
1m 35s
Merge pull request #11 from sinianluoye/issue/7 Deploy Tagged Version #6: Commit 753166e pushed by sinianluoye
1m 49s v0.0.3
v0.0.3
1m 49s
Merge pull request #10 from sinianluoye/issue/7 Deploy Tagged Version #5: Commit dd1c611 pushed by sinianluoye
1m 48s v0.0.3
v0.0.3
1m 48s