Skip to content

Actions: Lean-zh/GlimpseOfLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mention grind and have in shorter track. Create Release #5: Commit 7d99667 pushed by RexWzh
9s master
master
9s
update measurability explanation (#34) Create Release #4: Commit 204163b pushed by RexWzh
9s master
master
9s
pages build and deployment pages-build-deployment #3: by github-pages bot
28s gh-pages
gh-pages
28s
update titles Documentation #3: Commit 5b74587 pushed by RexWzh
23s zh_CN
zh_CN
23s
pages build and deployment pages-build-deployment #2: by github-pages bot
21s gh-pages
gh-pages
21s
update titles Documentation #2: Commit 715adee pushed by RexWzh
18s zh_CN
zh_CN
18s
pages build and deployment pages-build-deployment #1: by RexWzh
22s gh-pages
gh-pages
22s
add workflow Documentation #1: Commit 0a2c5c7 pushed by RexWzh
21s zh_CN
zh_CN
21s
More consistent names Create Release #3: Commit 68cf422 pushed by RexWzh
8s master
master
8s
Bump Lean and Mathlib versions Create Release #2: Commit 65f9a26 pushed by RexWzh
9s master
master
9s
Fix typos Create Release #1: Commit 5d4279d pushed by RexWzh
13s master
master
13s