Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,125 workflow runs
1,125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1524: by seL4-ci
44s gh-pages
gh-pages
44s
Build Build #2306: Scheduled
4m 23s master
master
4m 23s
pages build and deployment pages-build-deployment #1523: by seL4-ci
55s gh-pages
gh-pages
55s
microkit: fix link in roadmap CI #668: Commit aa46510 pushed by Indanz
57s master
master
57s
microkit: fix link in roadmap Build #2305: Commit aa46510 pushed by Indanz
2m 57s master
master
2m 57s
microkit: fix link in roadmap PR #472: Pull request #302 opened by Ivan-Velickovic
2m 55s roadmap_fix_link
roadmap_fix_link
2m 55s
microkit: fix link in roadmap CI #667: Pull request #302 opened by Ivan-Velickovic
1m 3s roadmap_fix_link
roadmap_fix_link
1m 3s
microkit: fix link in roadmap Build #2304: Pull request #302 opened by Ivan-Velickovic
3m 5s roadmap_fix_link
roadmap_fix_link
3m 5s
pages build and deployment pages-build-deployment #1522: by seL4-ci
39s gh-pages
gh-pages
39s
Build Build #2303: Scheduled
4m 26s master
master
4m 26s
pages build and deployment pages-build-deployment #1521: by seL4-ci
44s gh-pages
gh-pages
44s
microkit: update roadmap CI #666: Commit 45a88ea pushed by Ivan-Velickovic
54s master
master
54s
microkit: update roadmap Build #2302: Commit 45a88ea pushed by Ivan-Velickovic
3m 16s master
master
3m 16s
microkit: update roadmap PR #471: Pull request #300 synchronize by Ivan-Velickovic
1m 5s microkit_roadmap_update
microkit_roadmap_update
1m 5s
microkit: update roadmap CI #665: Pull request #300 synchronize by Ivan-Velickovic
51s microkit_roadmap_update
microkit_roadmap_update
51s
microkit: update roadmap Build #2301: Pull request #300 synchronize by Ivan-Velickovic
4m 55s microkit_roadmap_update
microkit_roadmap_update
4m 55s
pages build and deployment pages-build-deployment #1520: by seL4-ci
41s gh-pages
gh-pages
41s
microkit: use tables for SDK downloads CI #664: Commit 9361237 pushed by lsf37
2m 9s master
master
2m 9s
microkit: use tables for SDK downloads Build #2300: Commit 9361237 pushed by lsf37
3m 10s master
master
3m 10s
microkit: use tables for SDK downloads CI #663: Pull request #301 synchronize by Ivan-Velickovic
1m 59s sdk_download
sdk_download
1m 59s
microkit: use tables for SDK downloads PR #470: Pull request #301 synchronize by Ivan-Velickovic
2m 31s sdk_download
sdk_download
2m 31s
microkit: use tables for SDK downloads Build #2299: Pull request #301 synchronize by Ivan-Velickovic
4m 7s sdk_download
sdk_download
4m 7s
pages build and deployment pages-build-deployment #1519: by seL4-ci
36s gh-pages
gh-pages
36s
Build Build #2298: Scheduled
3m 15s master
master
3m 15s
pages build and deployment pages-build-deployment #1518: by seL4-ci
39s gh-pages
gh-pages
39s