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

pages build and deployment pages-build-deployment #639: by seL4-ci
August 12, 2023 03:17 58s
August 12, 2023 03:17 58s
Build Build #1139: Scheduled
August 12, 2023 03:12 5m 14s master
master
August 12, 2023 03:12 5m 14s
pages build and deployment pages-build-deployment #638: by seL4-ci
August 11, 2023 18:27 58s
August 11, 2023 18:27 58s
add Alwin as reviewer Build #1138: Commit 4f28c8d pushed by lsf37
August 11, 2023 18:20 6m 53s master
master
August 11, 2023 18:20 6m 53s
add Alwin as reviewer CI #320: Commit 4f28c8d pushed by lsf37
August 11, 2023 18:20 33s master
master
August 11, 2023 18:20 33s
add Alwin as reviewer CI #319: Pull request #192 opened by lsf37
August 11, 2023 13:54 57s new-reviewer
new-reviewer
August 11, 2023 13:54 57s
add Alwin as reviewer Build #1137: Pull request #192 opened by lsf37
August 11, 2023 13:54 5m 8s new-reviewer
new-reviewer
August 11, 2023 13:54 5m 8s
add Alwin as reviewer PR #210: Pull request #192 opened by lsf37
August 11, 2023 13:54 38s new-reviewer
new-reviewer
August 11, 2023 13:54 38s
pages build and deployment pages-build-deployment #637: by seL4-ci
August 11, 2023 03:17 1m 7s
August 11, 2023 03:17 1m 7s
Build Build #1136: Scheduled
August 11, 2023 03:12 5m 10s master
master
August 11, 2023 03:12 5m 10s
pages build and deployment pages-build-deployment #636: by seL4-ci
August 10, 2023 03:19 55s
August 10, 2023 03:19 55s
Build Build #1135: Scheduled
August 10, 2023 03:12 6m 15s master
master
August 10, 2023 03:12 6m 15s
pages build and deployment pages-build-deployment #635: by seL4-ci
August 9, 2023 03:17 59s
August 9, 2023 03:17 59s
Build Build #1134: Scheduled
August 9, 2023 03:12 4m 58s master
master
August 9, 2023 03:12 4m 58s
pages build and deployment pages-build-deployment #634: by seL4-ci
August 8, 2023 03:17 59s
August 8, 2023 03:17 59s
Build Build #1133: Scheduled
August 8, 2023 03:12 5m 18s master
master
August 8, 2023 03:12 5m 18s
pages build and deployment pages-build-deployment #633: by seL4-ci
August 7, 2023 10:16 1m 4s
August 7, 2023 10:16 1m 4s
Remove dependency instructions for Ubuntu 18.04 CI #318: Commit 10160ce pushed by Ivan-Velickovic
August 7, 2023 10:11 37s master
master
August 7, 2023 10:11 37s
Remove dependency instructions for Ubuntu 18.04 Build #1132: Commit 10160ce pushed by Ivan-Velickovic
August 7, 2023 10:11 5m 26s master
master
August 7, 2023 10:11 5m 26s
pages build and deployment pages-build-deployment #632: by seL4-ci
August 7, 2023 03:18 57s
August 7, 2023 03:18 57s
Build Build #1131: Scheduled
August 7, 2023 03:12 5m 24s master
master
August 7, 2023 03:12 5m 24s
pages build and deployment pages-build-deployment #631: by seL4-ci
August 6, 2023 03:17 1m 3s
August 6, 2023 03:17 1m 3s
Build Build #1130: Scheduled
August 6, 2023 03:12 5m 9s master
master
August 6, 2023 03:12 5m 9s
pages build and deployment pages-build-deployment #630: by seL4-ci
August 5, 2023 03:17 57s
August 5, 2023 03:17 57s
Build Build #1129: Scheduled
August 5, 2023 03:12 4m 53s master
master
August 5, 2023 03:12 4m 53s