Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow run results
126 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #1117: Scheduled
July 26, 2023 03:12 6m 16s master
master
July 26, 2023 03:12 6m 16s
pages build and deployment pages-build-deployment #619: by seL4-ci
July 25, 2023 03:18 54s
July 25, 2023 03:18 54s
Build Build #1116: Scheduled
July 25, 2023 03:12 5m 36s master
master
July 25, 2023 03:12 5m 36s
pages build and deployment pages-build-deployment #618: by seL4-ci
July 24, 2023 03:18 1m 12s
July 24, 2023 03:18 1m 12s
Build Build #1115: Scheduled
July 24, 2023 03:12 6m 3s master
master
July 24, 2023 03:12 6m 3s
pages build and deployment pages-build-deployment #617: by seL4-ci
July 24, 2023 00:45 59s
July 24, 2023 00:45 59s
Make booting instructions more verbose for ZCU102 Build #1114: Commit 2dbafbc pushed by Ivan-Velickovic
July 24, 2023 00:40 5m 41s master
master
July 24, 2023 00:40 5m 41s
Make booting instructions more verbose for ZCU102 CI #315: Commit 2dbafbc pushed by Ivan-Velickovic
July 24, 2023 00:40 32s master
master
July 24, 2023 00:40 32s
Fix ZCU102/ZCU106 boot command CI #314: Pull request #189 synchronize by Ivan-Velickovic
July 24, 2023 00:16 52s Ivan-Velickovic:zcu102_fix
Ivan-Velickovic:zcu102_fix
July 24, 2023 00:16 52s
Fix ZCU102/ZCU106 boot command Build #1113: Pull request #189 synchronize by Ivan-Velickovic
July 24, 2023 00:16 5m 41s Ivan-Velickovic:zcu102_fix
Ivan-Velickovic:zcu102_fix
July 24, 2023 00:16 5m 41s
Fix ZCU102/ZCU106 boot command PR #207: Pull request #189 synchronize by Ivan-Velickovic
July 24, 2023 00:16 39s Ivan-Velickovic:zcu102_fix
Ivan-Velickovic:zcu102_fix
July 24, 2023 00:16 39s
pages build and deployment pages-build-deployment #616: by seL4-ci
July 23, 2023 03:18 1m 6s
July 23, 2023 03:18 1m 6s
Build Build #1112: Scheduled
July 23, 2023 03:12 5m 23s master
master
July 23, 2023 03:12 5m 23s
pages build and deployment pages-build-deployment #615: by seL4-ci
July 22, 2023 03:19 58s
July 22, 2023 03:19 58s
Build Build #1111: Scheduled
July 22, 2023 03:13 6m 37s master
master
July 22, 2023 03:13 6m 37s
pages build and deployment pages-build-deployment #614: by seL4-ci
July 21, 2023 03:18 55s
July 21, 2023 03:18 55s
Build Build #1110: Scheduled
July 21, 2023 03:12 5m 16s master
master
July 21, 2023 03:12 5m 16s
pages build and deployment pages-build-deployment #613: by seL4-ci
July 20, 2023 03:19 1m 16s
July 20, 2023 03:19 1m 16s
Build Build #1109: Scheduled
July 20, 2023 03:12 6m 23s master
master
July 20, 2023 03:12 6m 23s
pages build and deployment pages-build-deployment #612: by seL4-ci
July 19, 2023 03:47 54s
July 19, 2023 03:47 54s
Build Build #1108: Scheduled
July 19, 2023 03:42 5m 43s master
master
July 19, 2023 03:42 5m 43s
pages build and deployment pages-build-deployment #611: by seL4-ci
July 18, 2023 03:20 1m 3s
July 18, 2023 03:20 1m 3s
Build Build #1107: Scheduled
July 18, 2023 03:15 5m 24s master
master
July 18, 2023 03:15 5m 24s
pages build and deployment pages-build-deployment #610: by seL4-ci
July 17, 2023 04:35 1m 8s
July 17, 2023 04:35 1m 8s
Remove typo 'is allows' Build #1106: Commit d16ca63 pushed by lsf37
July 17, 2023 04:30 5m 25s master
master
July 17, 2023 04:30 5m 25s