Skip to content

Actions: Lean-zh/tp-lean-zh

Actions

mdbook test using latest lean4 bits

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
This workflow was disabled manually.
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mdbook test using latest lean4 bits mdbook test using latest lean4 bits #11: Scheduled
May 3, 2024 10:13 1m 11s master
master
May 3, 2024 10:13 1m 11s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #10: Scheduled
May 2, 2024 10:14 1m 5s master
master
May 2, 2024 10:14 1m 5s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #9: Scheduled
May 1, 2024 10:13 1m 9s master
master
May 1, 2024 10:13 1m 9s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #8: Scheduled
April 30, 2024 10:13 1m 9s master
master
April 30, 2024 10:13 1m 9s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #7: Scheduled
April 29, 2024 10:14 1m 17s master
master
April 29, 2024 10:14 1m 17s
indicate how to type ⟨ and ⟩ (#80) mdbook test using latest lean4 bits #6: Commit 81b0283 pushed by OlingCat
April 28, 2024 12:17 1m 11s master
master
April 28, 2024 12:17 1m 11s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #5: Scheduled
April 28, 2024 10:12 1m 6s master
master
April 28, 2024 10:12 1m 6s
Update deploy.yml mdbook test using latest lean4 bits #4: Commit deb9943 pushed by OlingCat
April 27, 2024 12:35 1m 7s master
master
April 27, 2024 12:35 1m 7s
Update deploy.yml mdbook test using latest lean4 bits #3: Commit 4947659 pushed by OlingCat
April 27, 2024 12:31 1m 12s master
master
April 27, 2024 12:31 1m 12s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #2: Scheduled
April 27, 2024 10:13 1m 7s master
master
April 27, 2024 10:13 1m 7s
indicate how to type ⟨ and ⟩ (#80) mdbook test using latest lean4 bits #1: Commit 81b0283 pushed by OlingCat
April 26, 2024 14:10 1m 17s master
master
April 26, 2024 14:10 1m 17s