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
Build Build #1554: Scheduled
May 5, 2024 03:13 2m 43s master
master
May 5, 2024 03:13 2m 43s
pages build and deployment pages-build-deployment #938: by seL4-ci
May 4, 2024 03:15 39s
May 4, 2024 03:15 39s
Build Build #1553: Scheduled
May 4, 2024 03:13 2m 26s master
master
May 4, 2024 03:13 2m 26s
pages build and deployment pages-build-deployment #937: by seL4-ci
May 3, 2024 03:15 45s
May 3, 2024 03:15 45s
Build Build #1552: Scheduled
May 3, 2024 03:13 2m 42s master
master
May 3, 2024 03:13 2m 42s
pages build and deployment pages-build-deployment #936: by seL4-ci
May 2, 2024 03:15 46s
May 2, 2024 03:15 46s
Build Build #1551: Scheduled
May 2, 2024 03:13 2m 34s master
master
May 2, 2024 03:13 2m 34s
pages build and deployment pages-build-deployment #935: by seL4-ci
May 1, 2024 03:15 48s
May 1, 2024 03:15 48s
Build Build #1550: Scheduled
May 1, 2024 03:13 2m 22s master
master
May 1, 2024 03:13 2m 22s
pages build and deployment pages-build-deployment #934: by seL4-ci
April 30, 2024 03:16 43s
April 30, 2024 03:16 43s
Build Build #1549: Scheduled
April 30, 2024 03:13 3m 3s master
master
April 30, 2024 03:13 3m 3s
pages build and deployment pages-build-deployment #933: by seL4-ci
April 29, 2024 03:16 39s
April 29, 2024 03:16 39s
Build Build #1548: Scheduled
April 29, 2024 03:13 2m 49s master
master
April 29, 2024 03:13 2m 49s
pages build and deployment pages-build-deployment #932: by seL4-ci
April 28, 2024 03:15 40s
April 28, 2024 03:15 40s
Build Build #1547: Scheduled
April 28, 2024 03:13 2m 37s master
master
April 28, 2024 03:13 2m 37s
pages build and deployment pages-build-deployment #931: by seL4-ci
April 28, 2024 02:07 38s
April 28, 2024 02:07 38s
style: update astyle version Build #1546: Commit a152243 pushed by Ivan-Velickovic
April 28, 2024 02:05 2m 24s master
master
April 28, 2024 02:05 2m 24s
style: update astyle version CI #467: Commit a152243 pushed by Ivan-Velickovic
April 28, 2024 02:05 27s master
master
April 28, 2024 02:05 27s
style: update astyle version PR #319: Pull request #246 opened by lsf37
April 28, 2024 00:36 5m 20s astyle-upgrade
astyle-upgrade
April 28, 2024 00:36 5m 20s
style: update astyle version CI #466: Pull request #246 opened by lsf37
April 28, 2024 00:36 1m 50s astyle-upgrade
astyle-upgrade
April 28, 2024 00:36 1m 50s
style: update astyle version Build #1545: Pull request #246 opened by lsf37
April 28, 2024 00:36 3m 24s astyle-upgrade
astyle-upgrade
April 28, 2024 00:36 3m 24s
pages build and deployment pages-build-deployment #930: by seL4-ci
April 27, 2024 03:15 50s
April 27, 2024 03:15 50s
Build Build #1544: Scheduled
April 27, 2024 03:13 2m 34s master
master
April 27, 2024 03:13 2m 34s
pages build and deployment pages-build-deployment #929: by seL4-ci
April 26, 2024 03:15 44s
April 26, 2024 03:15 44s
Build Build #1543: Scheduled
April 26, 2024 03:13 2m 37s master
master
April 26, 2024 03:13 2m 37s