Skip to content

Actions: Lean-zh/type-checking-in-lean-zh

Actions

Deploy mdBook site to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mdbook.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from AtomAlpaca/master Deploy mdBook site to Pages #8: Commit 03658e1 pushed by hewzhew
1m 56s master
master
1m 56s
Update whats_a_kernel.md Deploy mdBook site to Pages #7: Commit 32b3301 pushed by hewzhew
2m 2s master
master
2m 2s
9&10 Deploy mdBook site to Pages #6: Commit 975415e pushed by subfish-zhou
2m 3s master
master
2m 3s
6,7&8 Deploy mdBook site to Pages #5: Commit b98aea0 pushed by subfish-zhou
2m 8s master
master
2m 8s
3, 4 & 5 Deploy mdBook site to Pages #4: Commit 5bf4341 pushed by subfish-zhou
1m 50s master
master
1m 50s
1 & 2 Deploy mdBook site to Pages #3: Commit 909b013 pushed by subfish-zhou
1m 50s master
master
1m 50s
test format Deploy mdBook site to Pages #2: Commit a1995eb pushed by subfish-zhou
1m 53s master
master
1m 53s
deprecate mdgen, try mdbook Deploy mdBook site to Pages #1: Commit f93179d pushed by subfish-zhou
1m 55s master
master
1m 55s