Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,455 workflow runs
1,455 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Minor updates to platform support page CI #283: Pull request #178 synchronize by lsf37
April 11, 2023 08:40 1m 19s Ivan-Velickovic:hardware_cleanup
Ivan-Velickovic:hardware_cleanup
April 11, 2023 08:40 1m 19s
Minor updates to platform support page Build #979: Pull request #178 synchronize by lsf37
April 11, 2023 08:40 5m 3s Ivan-Velickovic:hardware_cleanup
Ivan-Velickovic:hardware_cleanup
April 11, 2023 08:40 5m 3s
pages build and deployment pages-build-deployment #502: by seL4-ci
April 11, 2023 03:21 57s
April 11, 2023 03:21 57s
Build Build #978: Scheduled
April 11, 2023 03:12 9m 0s master
master
April 11, 2023 03:12 9m 0s
Minor updates to platform support page CI #282: Pull request #178 synchronize by Ivan-Velickovic
April 11, 2023 01:15 44s Ivan-Velickovic:hardware_cleanup
Ivan-Velickovic:hardware_cleanup
April 11, 2023 01:15 44s
Minor updates to platform support page PR #186: Pull request #178 synchronize by Ivan-Velickovic
April 11, 2023 01:15 33s Ivan-Velickovic:hardware_cleanup
Ivan-Velickovic:hardware_cleanup
April 11, 2023 01:15 33s
Minor updates to platform support page Build #977: Pull request #178 synchronize by Ivan-Velickovic
April 11, 2023 01:15 6m 0s Ivan-Velickovic:hardware_cleanup
Ivan-Velickovic:hardware_cleanup
April 11, 2023 01:15 6m 0s
Minor updates to platform support page PR #185: Pull request #178 opened by Ivan-Velickovic
April 11, 2023 01:15 44s Ivan-Velickovic:hardware_cleanup
Ivan-Velickovic:hardware_cleanup
April 11, 2023 01:15 44s
Minor updates to platform support page CI #281: Pull request #178 opened by Ivan-Velickovic
April 11, 2023 01:15 1m 9s Ivan-Velickovic:hardware_cleanup
Ivan-Velickovic:hardware_cleanup
April 11, 2023 01:15 1m 9s
Minor updates to platform support page Build #976: Pull request #178 opened by Ivan-Velickovic
April 11, 2023 01:15 5m 49s Ivan-Velickovic:hardware_cleanup
Ivan-Velickovic:hardware_cleanup
April 11, 2023 01:15 5m 49s
pages build and deployment pages-build-deployment #501: by seL4-ci
April 10, 2023 03:17 1m 3s
April 10, 2023 03:17 1m 3s
Build Build #975: Scheduled
April 10, 2023 03:12 5m 4s master
master
April 10, 2023 03:12 5m 4s
Typo corrections and broken link update PR #184: Pull request #177 opened by tim-arney
April 9, 2023 11:24 37s tim-arney:patch-1
tim-arney:patch-1
April 9, 2023 11:24 37s
Typo corrections and broken link update Build #974: Pull request #177 opened by tim-arney
April 9, 2023 11:24 5m 2s tim-arney:patch-1
tim-arney:patch-1
April 9, 2023 11:24 5m 2s
Typo corrections and broken link update CI #280: Pull request #177 opened by tim-arney
April 9, 2023 11:24 43s tim-arney:patch-1
tim-arney:patch-1
April 9, 2023 11:24 43s
pages build and deployment pages-build-deployment #500: by seL4-ci
April 9, 2023 03:17 1m 5s
April 9, 2023 03:17 1m 5s
Build Build #973: Scheduled
April 9, 2023 03:12 5m 1s master
master
April 9, 2023 03:12 5m 1s
pages build and deployment pages-build-deployment #499: by seL4-ci
April 8, 2023 03:17 1m 6s
April 8, 2023 03:17 1m 6s
Build Build #972: Scheduled
April 8, 2023 03:12 4m 53s master
master
April 8, 2023 03:12 4m 53s
pages build and deployment pages-build-deployment #498: by seL4-ci
April 7, 2023 03:18 58s
April 7, 2023 03:18 58s
Build Build #971: Scheduled
April 7, 2023 03:12 5m 10s master
master
April 7, 2023 03:12 5m 10s
pages build and deployment pages-build-deployment #497: by seL4-ci
April 6, 2023 03:18 1m 3s
April 6, 2023 03:18 1m 3s
Build Build #970: Scheduled
April 6, 2023 03:12 6m 2s master
master
April 6, 2023 03:12 6m 2s
pages build and deployment pages-build-deployment #496: by seL4-ci
April 5, 2023 03:19 58s
April 5, 2023 03:19 58s
Build Build #969: Scheduled
April 5, 2023 03:13 6m 18s master
master
April 5, 2023 03:13 6m 18s
ProTip! You can narrow down the results and go further in time using created:<2023-04-05 or the other filters available.