Skip to content

Actions: Lean-zh/math-in-lean-zh

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix format Build and Deploy to GitHub Pages #14: Commit f677322 pushed by subfish-zhou
October 19, 2024 14:54 1m 33s master
master
October 19, 2024 14:54 1m 33s
pages build and deployment pages-build-deployment #14: by github-pages bot
October 19, 2024 14:10 39s gh-pages
gh-pages
October 19, 2024 14:10 39s
ch 2.1&2.2 Build and Deploy to GitHub Pages #13: Commit 42ed18d pushed by subfish-zhou
October 19, 2024 14:08 1m 26s master
master
October 19, 2024 14:08 1m 26s
pages build and deployment pages-build-deployment #13: by github-pages bot
October 17, 2024 16:50 39s gh-pages
gh-pages
October 17, 2024 16:50 39s
ch 12 Build and Deploy to GitHub Pages #12: Commit f0906aa pushed by subfish-zhou
October 17, 2024 16:48 1m 47s master
master
October 17, 2024 16:48 1m 47s
pages build and deployment pages-build-deployment #12: by github-pages bot
October 17, 2024 15:42 34s gh-pages
gh-pages
October 17, 2024 15:42 34s
ch1 & update readme Build and Deploy to GitHub Pages #11: Commit 22355a5 pushed by subfish-zhou
October 17, 2024 15:41 1m 38s master
master
October 17, 2024 15:41 1m 38s
pages build and deployment pages-build-deployment #11: by github-pages bot
October 17, 2024 11:04 41s gh-pages
gh-pages
October 17, 2024 11:04 41s
fix deploy.yml Build and Deploy to GitHub Pages #10: Commit ef76921 pushed by EricTianC
October 17, 2024 11:02 1m 36s master
master
October 17, 2024 11:02 1m 36s
pages build and deployment pages-build-deployment #10: by github-pages bot
October 17, 2024 07:31 36s gh-pages
gh-pages
October 17, 2024 07:31 36s
Fix building problem. Build and Deploy to GitHub Pages #9: Commit be22d71 pushed by EricTianC
October 17, 2024 07:29 1m 40s master
master
October 17, 2024 07:29 1m 40s
pages build and deployment pages-build-deployment #9: by github-pages bot
October 17, 2024 00:54 33s gh-pages
gh-pages
October 17, 2024 00:54 33s
fix deploy.yml Build and Deploy to GitHub Pages #8: Commit ef76921 pushed by EricTianC
October 17, 2024 00:52 1m 57s master
master
October 17, 2024 00:52 1m 57s
pages build and deployment pages-build-deployment #8: by github-pages bot
October 16, 2024 22:07 48s gh-pages
gh-pages
October 16, 2024 22:07 48s
test 1.1 Build and Deploy to GitHub Pages #7: Commit 002ce35 pushed by subfish-zhou
October 16, 2024 22:06 1m 36s master
master
October 16, 2024 22:06 1m 36s
pages build and deployment pages-build-deployment #7: by subfish-zhou
October 16, 2024 22:01 46s gh-pages
gh-pages
October 16, 2024 22:01 46s
fix deploy Build and Deploy to GitHub Pages #6: Commit 3b03601 pushed by subfish-zhou
October 16, 2024 21:59 1m 48s master
master
October 16, 2024 21:59 1m 48s
pages build and deployment pages-build-deployment #6: by subfish-zhou
October 16, 2024 21:59 49s master
master
October 16, 2024 21:59 49s
fix deploy Build and Deploy to GitHub Pages #5: Commit 9b06dbc pushed by subfish-zhou
October 16, 2024 21:54 25s master
master
October 16, 2024 21:54 25s
pages build and deployment pages-build-deployment #5: by subfish-zhou
October 16, 2024 21:54 55s master
master
October 16, 2024 21:54 55s
test deploy Build and Deploy to GitHub Pages #4: Commit f6f9c92 pushed by subfish-zhou
October 16, 2024 21:45 24s master
master
October 16, 2024 21:45 24s
pages build and deployment pages-build-deployment #4: by subfish-zhou
October 16, 2024 21:45 48s master
master
October 16, 2024 21:45 48s
Delete .github/workflows/ci.yml Build and Deploy to GitHub Pages #3: Commit 502b76d pushed by subfish-zhou
October 16, 2024 21:41 23s master
master
October 16, 2024 21:41 23s
pages build and deployment pages-build-deployment #3: by subfish-zhou
October 16, 2024 21:41 52s master
master
October 16, 2024 21:41 52s
Delete .github/workflows/build.yml Build and Deploy to GitHub Pages #2: Commit 3f4fd63 pushed by subfish-zhou
October 16, 2024 21:41 24s master
master
October 16, 2024 21:41 24s