Skip to content

Actions: imdea-software/LeanFraudProofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #7: by martinceresa
55s main
main
55s
pages build and deployment pages-build-deployment #6: by martinceresa
49s main
main
49s
pages build and deployment pages-build-deployment #5: by martinceresa
45s main
main
45s
pages build and deployment pages-build-deployment #4: by martinceresa
1m 15s main
main
1m 15s
pages build and deployment pages-build-deployment #3: by martinceresa
45s main
main
45s
pages build and deployment pages-build-deployment #2: by martinceresa
38s main
main
38s
pages build and deployment pages-build-deployment #1: by martinceresa
49s main
main
49s