Skip to content

Actions: seL4/website

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
442 workflow runs
442 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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 #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 #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 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
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 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 PR #1417: Pull request #415 synchronize by bbrcknl
November 6, 2024 05:15 39s summit_slides_and_videos
summit_slides_and_videos
November 6, 2024 05:15 39s
Add served-by-seL4 footer to mobile pages PR #1416: Pull request #416 synchronize by JE-Archer
November 4, 2024 05:03 36s JE-Archer:footer
JE-Archer:footer
November 4, 2024 05:03 36s
Add served-by-seL4 footer to mobile pages PR #1415: Pull request #416 synchronize by JE-Archer
November 4, 2024 04:55 31s JE-Archer:footer
JE-Archer:footer
November 4, 2024 04:55 31s
Add served-by-seL4 footer to mobile pages PR #1414: Pull request #416 synchronize by JE-Archer
November 4, 2024 04:54 40s JE-Archer:footer
JE-Archer:footer
November 4, 2024 04:54 40s
Add served-by-seL4 footer to mobile pages PR #1413: Pull request #416 synchronize by JE-Archer
November 4, 2024 04:33 34s JE-Archer:footer
JE-Archer:footer
November 4, 2024 04:33 34s
add slides and videos to summit program PR #1412: Pull request #415 synchronize by bbrcknl
November 4, 2024 02:30 42s summit_slides_and_videos
summit_slides_and_videos
November 4, 2024 02:30 42s
add signed BM minutes PR #1411: Pull request #417 opened by bbrcknl
November 3, 2024 21:27 34s board_meeting_minutes
board_meeting_minutes
November 3, 2024 21:27 34s
add slides and videos to summit program PR #1410: Pull request #415 synchronize by bbrcknl
November 3, 2024 21:20 33s summit_slides_and_videos
summit_slides_and_videos
November 3, 2024 21:20 33s
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 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 #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 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 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 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 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
add slides and videos to summit program PR #1402: Pull request #415 synchronize by bbrcknl
October 28, 2024 00:57 46s summit_slides_and_videos
summit_slides_and_videos
October 28, 2024 00:57 46s
Add served-by-seL4 footer to mobile pages PR #1401: Pull request #416 opened by JE-Archer
October 21, 2024 02:47 30s JE-Archer:footer
JE-Archer:footer
October 21, 2024 02:47 30s