Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1273: by seL4-ci
March 13, 2025 03:20 42s gh-pages
gh-pages
March 13, 2025 03:20 42s
Build Build #1998: Scheduled
March 13, 2025 03:18 2m 36s master
master
March 13, 2025 03:18 2m 36s
pages build and deployment pages-build-deployment #1272: by seL4-ci
March 12, 2025 03:19 37s gh-pages
gh-pages
March 12, 2025 03:19 37s
Build Build #1997: Scheduled
March 12, 2025 03:17 2m 12s master
master
March 12, 2025 03:17 2m 12s
pages build and deployment pages-build-deployment #1271: by seL4-ci
March 11, 2025 03:20 43s gh-pages
gh-pages
March 11, 2025 03:20 43s
Build Build #1996: Scheduled
March 11, 2025 03:17 2m 14s master
master
March 11, 2025 03:17 2m 14s
pages build and deployment pages-build-deployment #1270: by seL4-ci
March 10, 2025 03:16 47s gh-pages
gh-pages
March 10, 2025 03:16 47s
Build Build #1995: Scheduled
March 10, 2025 03:14 2m 5s master
master
March 10, 2025 03:14 2m 5s
pages build and deployment pages-build-deployment #1269: by seL4-ci
March 9, 2025 03:15 41s gh-pages
gh-pages
March 9, 2025 03:15 41s
Build Build #1994: Scheduled
March 9, 2025 03:13 1m 55s master
master
March 9, 2025 03:13 1m 55s
pages build and deployment pages-build-deployment #1268: by seL4-ci
March 8, 2025 03:15 42s gh-pages
gh-pages
March 8, 2025 03:15 42s
Build Build #1993: Scheduled
March 8, 2025 03:13 2m 9s master
master
March 8, 2025 03:13 2m 9s
pages build and deployment pages-build-deployment #1267: by seL4-ci
March 7, 2025 03:20 44s gh-pages
gh-pages
March 7, 2025 03:20 44s
Build Build #1992: Scheduled
March 7, 2025 03:17 2m 23s master
master
March 7, 2025 03:17 2m 23s
pages build and deployment pages-build-deployment #1266: by seL4-ci
March 6, 2025 06:36 42s gh-pages
gh-pages
March 6, 2025 06:36 42s
Add Microkit 2.0.0 release Build #1991: Commit a1125e4 pushed by Ivan-Velickovic
March 6, 2025 06:34 1m 58s master
master
March 6, 2025 06:34 1m 58s
Add Microkit 2.0.0 release CI #599: Commit a1125e4 pushed by Ivan-Velickovic
March 6, 2025 06:34 30s master
master
March 6, 2025 06:34 30s
Add Microkit 2.0.0 release CI #598: Pull request #277 synchronize by Ivan-Velickovic
March 6, 2025 05:06 54s microkit_2.0.0
microkit_2.0.0
March 6, 2025 05:06 54s
Add Microkit 2.0.0 release Build #1990: Pull request #277 synchronize by Ivan-Velickovic
March 6, 2025 05:06 2m 2s microkit_2.0.0
microkit_2.0.0
March 6, 2025 05:06 2m 2s
Add Microkit 2.0.0 release PR #425: Pull request #277 synchronize by Ivan-Velickovic
March 6, 2025 05:06 38s microkit_2.0.0
microkit_2.0.0
March 6, 2025 05:06 38s
Add Microkit 2.0.0 release Build #1989: Pull request #277 opened by Ivan-Velickovic
March 6, 2025 04:47 1m 49s microkit_2.0.0
microkit_2.0.0
March 6, 2025 04:47 1m 49s
Add Microkit 2.0.0 release PR #424: Pull request #277 opened by Ivan-Velickovic
March 6, 2025 04:47 40s microkit_2.0.0
microkit_2.0.0
March 6, 2025 04:47 40s
Add Microkit 2.0.0 release CI #597: Pull request #277 opened by Ivan-Velickovic
March 6, 2025 04:47 48s microkit_2.0.0
microkit_2.0.0
March 6, 2025 04:47 48s
pages build and deployment pages-build-deployment #1265: by seL4-ci
March 6, 2025 03:19 37s gh-pages
gh-pages
March 6, 2025 03:19 37s
Build Build #1988: Scheduled
March 6, 2025 03:17 2m 12s master
master
March 6, 2025 03:17 2m 12s