Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #111: by github-pages bot
22s gh-pages
gh-pages
22s
Merge pull request #16 from Lean-zh/rex/dev Deploy #27: Commit 259b992 pushed by OlingCat
26s main
main
26s
pages build and deployment pages-build-deployment #110: by github-pages bot
32s gh-pages
gh-pages
32s
pages build and deployment pages-build-deployment #109: by github-pages bot
17s gh-pages
gh-pages
17s
Merge pull request #17 from Lean-zh/minor-fix Deploy #26: Commit 5b74eb5 pushed by OlingCat
34s main
main
34s
Fix links preview #60: Pull request #17 opened by OlingCat
31s minor-fix
minor-fix
31s
pages build and deployment pages-build-deployment #108: by github-pages bot
23s gh-pages
gh-pages
23s
update lean4game doc preview #59: Pull request #16 opened by RexWzh
35s rex/dev
rex/dev
35s
pages build and deployment pages-build-deployment #107: by github-pages bot
24s gh-pages
gh-pages
24s
pages build and deployment pages-build-deployment #106: by github-pages bot
16s gh-pages
gh-pages
16s
Merge pull request #15 from Lean-zh/gilgamesh1111-patch-1 Deploy #25: Commit 0f9d849 pushed by gilgamesh1111
28s main
main
28s
Revise installation instructions for Pantograph preview #58: Pull request #15 opened by gilgamesh1111
34s gilgamesh1111-patch-1
gilgamesh1111-patch-1
34s
pages build and deployment pages-build-deployment #105: by github-pages bot
22s gh-pages
gh-pages
22s
Merge pull request #14 from Lean-zh/add-docs-url Deploy #24: Commit fc3f7fb pushed by RexWzh
30s main
main
30s
pages build and deployment pages-build-deployment #104: by github-pages bot
24s gh-pages
gh-pages
24s
Add docs url preview #57: Pull request #14 opened by RexWzh
30s add-docs-url
add-docs-url
30s
pages build and deployment pages-build-deployment #103: by github-pages bot
23s gh-pages
gh-pages
23s
finish verso & fix lake-doc Deploy #23: Commit e2ec366 pushed by subfish-zhou
32s main
main
32s
pages build and deployment pages-build-deployment #102: by github-pages bot
26s gh-pages
gh-pages
26s
add verso Deploy #22: Commit dbfec43 pushed by subfish-zhou
29s main
main
29s
pages build and deployment pages-build-deployment #101: by github-pages bot
25s gh-pages
gh-pages
25s
fix admonition Deploy #21: Commit fbff23a pushed by subfish-zhou
25s main
main
25s
pages build and deployment pages-build-deployment #100: by github-pages bot
28s gh-pages
gh-pages
28s
test admonition block Deploy #20: Commit d58567c pushed by subfish-zhou
35s main
main
35s
pages build and deployment pages-build-deployment #99: by github-pages bot
23s gh-pages
gh-pages
23s