Skip to content

Actions: Lean-zh/lean-docs-zh

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimize the translation of Elaboration Deploy to GitHub Pages #16: Commit 916633c pushed by hewzhew
5m 17s lean4
lean4
5m 17s
Replace files with spaces in name by removing ' copy.' Deploy to GitHub Pages #15: Commit 619aecb pushed by hewzhew
4m 53s lean4
lean4
4m 53s
Remake4 Deploy to GitHub Pages #14: Commit 5d33a99 pushed by hewzhew
4m 59s lean4
lean4
4m 59s
Remake3 Deploy to GitHub Pages #13: Commit 3c173ef pushed by hewzhew
5m 11s lean4
lean4
5m 11s
Remake2 Deploy to GitHub Pages #12: Commit 116a29a pushed by hewzhew
5m 56s lean4
lean4
5m 56s
Remake Deploy to GitHub Pages #11: Commit 219234c pushed by hewzhew
5m 8s lean4
lean4
5m 8s
Fix(deploy): Use upload-pages-artifact action Deploy to GitHub Pages #10: Commit 7496079 pushed by hewzhew
8s lean4
lean4
8s
Fix(deploy): Use rsync -rL to dereference symlinks Deploy to GitHub Pages #9: Commit 834af77 pushed by hewzhew
5m 5s lean4
lean4
5m 5s
Replace rsync with shutil to avoid symlinks Deploy to GitHub Pages #8: Commit 6b30a44 pushed by hewzhew
5m 4s lean4
lean4
5m 4s
Switch to modern GitHub Pages deployment workflow Deploy to GitHub Pages #7: Commit 58e5eda pushed by hewzhew
4m 58s lean4
lean4
4m 58s
Trigger deployment with latest fixes and pages config Deploy to GitHub Pages #6: Commit 744877d pushed by hewzhew
6m 14s lean4
lean4
6m 14s
Fix title extraction for headings with inline code Deploy to GitHub Pages #5: Commit 9f25597 pushed by hewzhew
6m 33s lean4
lean4
6m 33s
Disable Zulip part in GitHub Actions Deploy to GitHub Pages #4: Commit be23d2d pushed by hewzhew
2m 29s lean4
lean4
2m 29s
Deploy to GitHub Pages Deploy to GitHub Pages #3: Manually run by hewzhew
3m 3s lean4
lean4
3m 3s
Update README.md Deploy to GitHub Pages #2: Commit a7ea677 pushed by hewzhew
1m 39s lean4
lean4
1m 39s
revert to list of usernames Deploy to GitHub Pages #1: Commit 97f3991 pushed by hewzhew
8s bryangingechen-patch-1
bryangingechen-patch-1
8s