Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Build Build #1550: Scheduled
May 1, 2024 03:13 In progress master
master
May 1, 2024 03:13 In progress
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
pages build and deployment pages-build-deployment #928: by seL4-ci
April 25, 2024 03:15 38s
April 25, 2024 03:15 38s
Build Build #1542: Scheduled
April 25, 2024 03:13 3m 21s master
master
April 25, 2024 03:13 3m 21s
pages build and deployment pages-build-deployment #927: by seL4-ci
April 24, 2024 03:15 44s
April 24, 2024 03:15 44s
Build Build #1541: Scheduled
April 24, 2024 03:13 2m 25s master
master
April 24, 2024 03:13 2m 25s
pages build and deployment pages-build-deployment #926: by seL4-ci
April 23, 2024 03:16 38s
April 23, 2024 03:16 38s
Build Build #1540: Scheduled
April 23, 2024 03:13 3m 7s master
master
April 23, 2024 03:13 3m 7s
pages build and deployment pages-build-deployment #925: by seL4-ci
April 22, 2024 03:15 42s
April 22, 2024 03:15 42s
Build Build #1539: Scheduled
April 22, 2024 03:13 2m 24s master
master
April 22, 2024 03:13 2m 24s