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

change rtx logo PR #1424: Pull request #418 synchronize by bbrcknl
November 8, 2024 06:42 33s rtx_logo_change
rtx_logo_change
November 8, 2024 06:42 33s
pages build and deployment pages-build-deployment #168: by seL4-ci
November 8, 2024 06:37 1m 3s
November 8, 2024 06:37 1m 3s
add slides and videos to summit program (#415) Deploy Site #161: Commit a5bea00 pushed by bbrcknl
November 8, 2024 06:36 1m 16s master
master
November 8, 2024 06:36 1m 16s
add slides and videos to summit program PR cleanup #65: Pull request #415 closed by bbrcknl
November 8, 2024 06:36 31s
November 8, 2024 06:36 31s
add slides and videos to summit program (#415) CI #2193: Commit a5bea00 pushed by bbrcknl
November 8, 2024 06:36 40s master
master
November 8, 2024 06:36 40s
add slides and videos to summit program PR #1423: Pull request #415 synchronize by bbrcknl
November 8, 2024 06:30 37s summit_slides_and_videos
summit_slides_and_videos
November 8, 2024 06:30 37s
add slides and videos to summit program PR #1577: Pull request #415 synchronize by bbrcknl
November 8, 2024 06:30 1m 33s summit_slides_and_videos
summit_slides_and_videos
November 8, 2024 06:30 1m 33s
add slides and videos to summit program CI #2192: Pull request #415 synchronize by bbrcknl
November 8, 2024 06:30 55s summit_slides_and_videos
summit_slides_and_videos
November 8, 2024 06:30 55s
add slides and videos to summit program PR #1422: Pull request #415 synchronize by bbrcknl
November 7, 2024 22:29 1m 24s summit_slides_and_videos
summit_slides_and_videos
November 7, 2024 22:29 1m 24s
add slides and videos to summit program PR #1576: Pull request #415 synchronize by bbrcknl
November 7, 2024 22:29 1m 33s summit_slides_and_videos
summit_slides_and_videos
November 7, 2024 22:29 1m 33s
add slides and videos to summit program CI #2191: Pull request #415 synchronize by bbrcknl
November 7, 2024 22:29 39s summit_slides_and_videos
summit_slides_and_videos
November 7, 2024 22:29 39s
add slides and videos to summit program PR #1575: Pull request #415 synchronize by bbrcknl
November 7, 2024 22:26 1m 53s summit_slides_and_videos
summit_slides_and_videos
November 7, 2024 22:26 1m 53s
add slides and videos to summit program PR #1421: Pull request #415 synchronize by bbrcknl
November 7, 2024 22:26 40s summit_slides_and_videos
summit_slides_and_videos
November 7, 2024 22:26 40s
add slides and videos to summit program CI #2190: Pull request #415 synchronize by bbrcknl
November 7, 2024 22:26 41s summit_slides_and_videos
summit_slides_and_videos
November 7, 2024 22:26 41s
add slides and videos to summit program CI #2189: Pull request #415 synchronize by bbrcknl
November 7, 2024 22:21 42s summit_slides_and_videos
summit_slides_and_videos
November 7, 2024 22:21 42s
add slides and videos to summit program PR #1420: Pull request #415 synchronize by bbrcknl
November 7, 2024 22:21 37s summit_slides_and_videos
summit_slides_and_videos
November 7, 2024 22:21 37s
add slides and videos to summit program PR #1574: Pull request #415 synchronize by bbrcknl
November 7, 2024 22:21 1m 41s summit_slides_and_videos
summit_slides_and_videos
November 7, 2024 22:21 1m 41s
change rtx logo PR #1573: Pull request #418 synchronize by bbrcknl
November 7, 2024 21:33 1m 30s rtx_logo_change
rtx_logo_change
November 7, 2024 21:33 1m 30s
change rtx logo PR #1419: Pull request #418 synchronize by bbrcknl
November 7, 2024 21:33 38s rtx_logo_change
rtx_logo_change
November 7, 2024 21:33 38s
change rtx logo CI #2188: Pull request #418 synchronize by bbrcknl
November 7, 2024 21:33 39s rtx_logo_change
rtx_logo_change
November 7, 2024 21:33 39s
change rtx logo CI #2187: Pull request #418 opened by bbrcknl
November 6, 2024 05:37 39s rtx_logo_change
rtx_logo_change
November 6, 2024 05:37 39s
change rtx logo PR #1572: Pull request #418 opened by bbrcknl
November 6, 2024 05:37 2m 18s rtx_logo_change
rtx_logo_change
November 6, 2024 05:37 2m 18s
change rtx logo PR #1418: Pull request #418 opened by bbrcknl
November 6, 2024 05:37 32s rtx_logo_change
rtx_logo_change
November 6, 2024 05:37 32s
add slides and videos to summit program CI #2186: Pull request #415 synchronize by bbrcknl
November 6, 2024 05:15 59s summit_slides_and_videos
summit_slides_and_videos
November 6, 2024 05:15 59s
add slides and videos to summit program PR #1571: Pull request #415 synchronize by bbrcknl
November 6, 2024 05:15 1m 33s summit_slides_and_videos
summit_slides_and_videos
November 6, 2024 05:15 1m 33s