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

add slides and videos to summit program CI #2178: Pull request #415 synchronize by bbrcknl
November 3, 2024 21:20 46s summit_slides_and_videos
summit_slides_and_videos
November 3, 2024 21:20 46s
pages build and deployment pages-build-deployment #166: by seL4-ci
October 30, 2024 10:23 55s
October 30, 2024 10:23 55s
deps: update deps to pacify dependabot PR cleanup #63: Pull request #413 closed by Indanz
October 30, 2024 10:21 29s
October 30, 2024 10:21 29s
deps: update deps to pacify dependabot Deploy Site #159: Commit 5ba02a7 pushed by Indanz
October 30, 2024 10:21 1m 36s master
master
October 30, 2024 10:21 1m 36s
deps: update deps to pacify dependabot CI #2177: Commit 5ba02a7 pushed by Indanz
October 30, 2024 10:21 34s master
master
October 30, 2024 10:21 34s
deps: update deps to pacify dependabot CI #2176: Pull request #413 synchronize by Indanz
October 30, 2024 10:16 38s gem-update
gem-update
October 30, 2024 10:16 38s
deps: update deps to pacify dependabot PR #1563: Pull request #413 synchronize by Indanz
October 30, 2024 10:16 1m 34s gem-update
gem-update
October 30, 2024 10:16 1m 34s
deps: update deps to pacify dependabot PR #1409: Pull request #413 synchronize by Indanz
October 30, 2024 10:16 58s gem-update
gem-update
October 30, 2024 10:16 58s
add slides and videos to summit program CI #2175: Pull request #415 synchronize by bbrcknl
October 30, 2024 06:35 48m 6s summit_slides_and_videos
summit_slides_and_videos
October 30, 2024 06:35 48m 6s
add slides and videos to summit program PR #1408: Pull request #415 synchronize by bbrcknl
October 30, 2024 06:35 45m 6s summit_slides_and_videos
summit_slides_and_videos
October 30, 2024 06:35 45m 6s
add slides and videos to summit program PR #1562: Pull request #415 synchronize by bbrcknl
October 30, 2024 06:35 1h 5m 33s summit_slides_and_videos
summit_slides_and_videos
October 30, 2024 06:35 1h 5m 33s
add slides and videos to summit program PR #1407: Pull request #415 synchronize by bbrcknl
October 30, 2024 02:02 34s summit_slides_and_videos
summit_slides_and_videos
October 30, 2024 02:02 34s
add slides and videos to summit program CI #2174: Pull request #415 synchronize by bbrcknl
October 30, 2024 02:02 42s summit_slides_and_videos
summit_slides_and_videos
October 30, 2024 02:02 42s
add slides and videos to summit program PR #1561: Pull request #415 synchronize by bbrcknl
October 30, 2024 02:02 1m 45s summit_slides_and_videos
summit_slides_and_videos
October 30, 2024 02:02 1m 45s
add slides and videos to summit program PR #1406: Pull request #415 synchronize by bbrcknl
October 29, 2024 21:43 37s summit_slides_and_videos
summit_slides_and_videos
October 29, 2024 21:43 37s
add slides and videos to summit program CI #2173: Pull request #415 synchronize by bbrcknl
October 29, 2024 21:43 39s summit_slides_and_videos
summit_slides_and_videos
October 29, 2024 21:43 39s
add slides and videos to summit program PR #1560: Pull request #415 synchronize by bbrcknl
October 29, 2024 21:43 1m 29s summit_slides_and_videos
summit_slides_and_videos
October 29, 2024 21:43 1m 29s
add slides and videos to summit program PR #1405: Pull request #415 synchronize by bbrcknl
October 29, 2024 21:39 38s summit_slides_and_videos
summit_slides_and_videos
October 29, 2024 21:39 38s
add slides and videos to summit program CI #2172: Pull request #415 synchronize by bbrcknl
October 29, 2024 21:39 39s summit_slides_and_videos
summit_slides_and_videos
October 29, 2024 21:39 39s
add slides and videos to summit program PR #1559: Pull request #415 synchronize by bbrcknl
October 29, 2024 21:39 1m 34s summit_slides_and_videos
summit_slides_and_videos
October 29, 2024 21:39 1m 34s
add slides and videos to summit program PR #1558: Pull request #415 synchronize by bbrcknl
October 28, 2024 07:36 1m 51s summit_slides_and_videos
summit_slides_and_videos
October 28, 2024 07:36 1m 51s
add slides and videos to summit program PR #1404: Pull request #415 synchronize by bbrcknl
October 28, 2024 07:36 43s summit_slides_and_videos
summit_slides_and_videos
October 28, 2024 07:36 43s
add slides and videos to summit program CI #2171: Pull request #415 synchronize by bbrcknl
October 28, 2024 07:36 43s summit_slides_and_videos
summit_slides_and_videos
October 28, 2024 07:36 43s
add slides and videos to summit program PR #1557: Pull request #415 synchronize by bbrcknl
October 28, 2024 04:01 1m 24s summit_slides_and_videos
summit_slides_and_videos
October 28, 2024 04:01 1m 24s
add slides and videos to summit program PR #1403: Pull request #415 synchronize by bbrcknl
October 28, 2024 04:01 35s summit_slides_and_videos
summit_slides_and_videos
October 28, 2024 04:01 35s