Skip to content

Actions: ProofGeneral/proofgeneral.github.io

Actions

pages-build-deployment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #74: by erikmd
40s master
master
40s
pages build and deployment pages-build-deployment #73: by erikmd
41s master
master
41s
pages build and deployment pages-build-deployment #72: by erikmd
44s master
master
44s
pages build and deployment pages-build-deployment #71: by erikmd
40s master
master
40s
pages build and deployment pages-build-deployment #70: by erikmd
40s master
master
40s
pages build and deployment pages-build-deployment #69: by erikmd
17s master
master
17s
pages build and deployment pages-build-deployment #68: by erikmd
42s master
master
42s