Skip to content

Actions: seL4/website

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,031 workflow runs
2,031 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #174: by seL4-ci
November 22, 2024 19:23 1m 3s
November 22, 2024 19:23 1m 3s
CI: update performance results CI #2201: Commit 0aa78c4 pushed by seL4-ci
November 22, 2024 19:20 1m 35s master
master
November 22, 2024 19:20 1m 35s
CI: update performance results Deploy Site #167: Commit 0aa78c4 pushed by seL4-ci
November 22, 2024 19:20 3m 16s master
master
November 22, 2024 19:20 3m 16s
pages build and deployment pages-build-deployment #173: by seL4-ci
November 19, 2024 20:02 1m 7s
November 19, 2024 20:02 1m 7s
CI: update performance results Deploy Site #166: Commit 9c174e7 pushed by seL4-ci
November 19, 2024 20:00 1m 34s master
master
November 19, 2024 20:00 1m 34s
CI: update performance results CI #2200: Commit 9c174e7 pushed by seL4-ci
November 19, 2024 20:00 38s master
master
November 19, 2024 20:00 38s
pages build and deployment pages-build-deployment #172: by seL4-ci
November 17, 2024 12:05 58s
November 17, 2024 12:05 58s
CI: update performance results Deploy Site #165: Commit 94aa442 pushed by seL4-ci
November 17, 2024 12:04 1m 12s master
master
November 17, 2024 12:04 1m 12s
CI: update performance results CI #2199: Commit 94aa442 pushed by seL4-ci
November 17, 2024 12:04 51s master
master
November 17, 2024 12:04 51s
pages build and deployment pages-build-deployment #171: by seL4-ci
November 13, 2024 03:39 55s
November 13, 2024 03:39 55s
add signed BM minutes PR cleanup #67: Pull request #417 closed by bbrcknl
November 13, 2024 03:37 27s
November 13, 2024 03:37 27s
add signed BM minutes (#417) Deploy Site #164: Commit 2969a7b pushed by bbrcknl
November 13, 2024 03:37 1m 30s master
master
November 13, 2024 03:37 1m 30s
add signed BM minutes (#417) CI #2198: Commit 2969a7b pushed by bbrcknl
November 13, 2024 03:37 41s master
master
November 13, 2024 03:37 41s
add signed BM minutes PR #1425: Pull request #417 synchronize by bbrcknl
November 13, 2024 03:29 36s board_meeting_minutes
board_meeting_minutes
November 13, 2024 03:29 36s
add signed BM minutes CI #2197: Pull request #417 synchronize by bbrcknl
November 13, 2024 03:29 36s board_meeting_minutes
board_meeting_minutes
November 13, 2024 03:29 36s
add signed BM minutes PR #1579: Pull request #417 synchronize by bbrcknl
November 13, 2024 03:29 1m 44s board_meeting_minutes
board_meeting_minutes
November 13, 2024 03:29 1m 44s
pages build and deployment pages-build-deployment #170: by seL4-ci
November 11, 2024 13:12 1m 2s
November 11, 2024 13:12 1m 2s
CI: update performance results Deploy Site #163: Commit 12eaa47 pushed by seL4-ci
November 11, 2024 13:11 1m 14s master
master
November 11, 2024 13:11 1m 14s
CI: update performance results CI #2196: Commit 12eaa47 pushed by seL4-ci
November 11, 2024 13:11 39s master
master
November 11, 2024 13:11 39s
pages build and deployment pages-build-deployment #169: by seL4-ci
November 8, 2024 06:49 1m 6s
November 8, 2024 06:49 1m 6s
change rtx logo PR cleanup #66: Pull request #418 closed by bbrcknl
November 8, 2024 06:47 42s
November 8, 2024 06:47 42s
change rtx logo (#418) Deploy Site #162: Commit 64d963c pushed by bbrcknl
November 8, 2024 06:47 1m 36s master
master
November 8, 2024 06:47 1m 36s
change rtx logo (#418) CI #2195: Commit 64d963c pushed by bbrcknl
November 8, 2024 06:47 38s master
master
November 8, 2024 06:47 38s
change rtx logo PR #1578: Pull request #418 synchronize by bbrcknl
November 8, 2024 06:42 2m 0s rtx_logo_change
rtx_logo_change
November 8, 2024 06:42 2m 0s
change rtx logo CI #2194: Pull request #418 synchronize by bbrcknl
November 8, 2024 06:42 39s rtx_logo_change
rtx_logo_change
November 8, 2024 06:42 39s