Skip to content

Actions: formalverification/io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Delete CNAME ci #4: Commit 1a40db6 pushed by williamdemeo
22s main
main
22s
pages build and deployment pages-build-deployment #12: by williamdemeo
42s main
main
42s
pages build and deployment pages-build-deployment #11: by williamdemeo
44s main
main
44s
pages build and deployment pages-build-deployment #10: by williamdemeo
27s gh-pages
gh-pages
27s
pages build and deployment pages-build-deployment #9: by williamdemeo
37s gh-pages
gh-pages
37s
pages build and deployment pages-build-deployment #8: by williamdemeo
30s gh-pages
gh-pages
30s
remove old agda file ci #3: Commit 99a3c8b pushed by williamdemeo
30s main
main
30s
pages build and deployment pages-build-deployment #7: by williamdemeo
35s main
main
35s
remove old default.css ci #2: Commit db5d8de pushed by williamdemeo
22s main
main
22s
pages build and deployment pages-build-deployment #6: by williamdemeo
39s main
main
39s
pages build and deployment pages-build-deployment #5: by williamdemeo
35s main
main
35s
pages build and deployment pages-build-deployment #4: by williamdemeo
28s gh-pages
gh-pages
28s
initial commit of new website content ci #1: Commit 6a2e1a4 pushed by williamdemeo
25s main
main
25s
pages build and deployment pages-build-deployment #3: by williamdemeo
41s main
main
41s