Skip to content

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

Actions

pages-build-deployment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #9: by hewzhew
44s master
master
44s
pages build and deployment pages-build-deployment #8: by hewzhew
1m 35s master
master
1m 35s
pages build and deployment pages-build-deployment #7: by subfish-zhou
54s master
master
54s
pages build and deployment pages-build-deployment #6: by subfish-zhou
40s master
master
40s
pages build and deployment pages-build-deployment #5: by subfish-zhou
35s master
master
35s
pages build and deployment pages-build-deployment #4: by subfish-zhou
38s master
master
38s
pages build and deployment pages-build-deployment #3: by subfish-zhou
38s master
master
38s
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