Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 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
pages build and deployment pages-build-deployment #9: by hewzhew
44s master
master
44s
Update whats_a_kernel.md Deploy mdBook site to Pages #7: Commit 32b3301 pushed by hewzhew
2m 2s master
master
2m 2s
pages build and deployment pages-build-deployment #8: by hewzhew
1m 35s master
master
1m 35s
9&10 Deploy mdBook site to Pages #6: Commit 975415e pushed by subfish-zhou
2m 3s master
master
2m 3s
pages build and deployment pages-build-deployment #7: by subfish-zhou
54s master
master
54s
6,7&8 Deploy mdBook site to Pages #5: Commit b98aea0 pushed by subfish-zhou
2m 8s master
master
2m 8s
pages build and deployment pages-build-deployment #6: by subfish-zhou
40s master
master
40s
3, 4 & 5 Deploy mdBook site to Pages #4: Commit 5bf4341 pushed by subfish-zhou
1m 50s master
master
1m 50s
pages build and deployment pages-build-deployment #5: by subfish-zhou
35s master
master
35s
1 & 2 Deploy mdBook site to Pages #3: Commit 909b013 pushed by subfish-zhou
1m 50s master
master
1m 50s
pages build and deployment pages-build-deployment #4: by subfish-zhou
38s master
master
38s
test format Deploy mdBook site to Pages #2: Commit a1995eb pushed by subfish-zhou
1m 53s master
master
1m 53s
pages build and deployment pages-build-deployment #3: by subfish-zhou
38s master
master
38s
deprecate mdgen, try mdbook Deploy mdBook site to Pages #1: Commit f93179d pushed by subfish-zhou
1m 55s master
master
1m 55s
pages build and deployment pages-build-deployment #2: by subfish-zhou
39s master
master
39s
pages build and deployment pages-build-deployment #1: by subfish-zhou
41s master
master
41s
initial commit Book #1: Commit 48a9e5a pushed by subfish-zhou
18s master
master
18s
initial commit Deploy to github pages #1: Commit 48a9e5a pushed by subfish-zhou
34s master
master
34s
initial commit CI #1: Commit 48a9e5a pushed by subfish-zhou
25s master
master
25s