Skip to content

Actions: agda-web/agda-web.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #10: by andy0130tw
37s master
master
37s
pages build and deployment pages-build-deployment #9: by andy0130tw
45s master
master
45s
pages build and deployment pages-build-deployment #8: by andy0130tw
41s master
master
41s
pages build and deployment pages-build-deployment #7: by andy0130tw
37s master
master
37s
pages build and deployment pages-build-deployment #6: by andy0130tw
39s master
master
39s
pages build and deployment pages-build-deployment #5: by andy0130tw
50s master
master
50s
pages build and deployment pages-build-deployment #4: by andy0130tw
43s master
master
43s
pages build and deployment pages-build-deployment #3: by andy0130tw
40s master
master
40s
pages build and deployment pages-build-deployment #2: by andy0130tw
40s master
master
40s
pages build and deployment pages-build-deployment #1: by andy0130tw
25s master
master
25s