Skip to content

Actions: seL4/website

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
416 workflow runs
416 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change layout of members PR #1583: Pull request #420 opened by bbrcknl
January 6, 2025 03:00 2m 5s change_member_signage
change_member_signage
January 6, 2025 03:00 2m 5s
Fix width of diagram on website Info page. PR #1582: Pull request #419 synchronize by Ivan-Velickovic
December 3, 2024 08:03 1m 35s fix-website-diagram
fix-website-diagram
December 3, 2024 08:03 1m 35s
Fix width of diagram on website Info page. PR #1581: Pull request #419 synchronize by wom-bat
December 3, 2024 07:41 1m 40s fix-website-diagram
fix-website-diagram
December 3, 2024 07:41 1m 40s
Fix width of diagram on website Info page. PR #1580: Pull request #419 opened by wom-bat
December 3, 2024 07:40 1m 48s fix-website-diagram
fix-website-diagram
December 3, 2024 07:40 1m 48s
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
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
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 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 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 #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 #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
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
Add served-by-seL4 footer to mobile pages PR #1570: Pull request #416 synchronize by JE-Archer
November 4, 2024 05:03 1m 11s JE-Archer:footer
JE-Archer:footer
November 4, 2024 05:03 1m 11s
Add served-by-seL4 footer to mobile pages PR #1569: Pull request #416 synchronize by JE-Archer
November 4, 2024 04:55 1m 2s JE-Archer:footer
JE-Archer:footer
November 4, 2024 04:55 1m 2s
Add served-by-seL4 footer to mobile pages PR #1568: Pull request #416 synchronize by JE-Archer
November 4, 2024 04:54 1m 2s JE-Archer:footer
JE-Archer:footer
November 4, 2024 04:54 1m 2s
Add served-by-seL4 footer to mobile pages PR #1567: Pull request #416 synchronize by JE-Archer
November 4, 2024 04:33 1m 11s JE-Archer:footer
JE-Archer:footer
November 4, 2024 04:33 1m 11s
add slides and videos to summit program PR #1566: Pull request #415 synchronize by bbrcknl
November 4, 2024 02:30 1m 30s summit_slides_and_videos
summit_slides_and_videos
November 4, 2024 02:30 1m 30s
add signed BM minutes PR #1565: Pull request #417 opened by bbrcknl
November 3, 2024 21:27 1m 22s board_meeting_minutes
board_meeting_minutes
November 3, 2024 21:27 1m 22s
add slides and videos to summit program PR #1564: Pull request #415 synchronize by bbrcknl
November 3, 2024 21:20 1m 32s summit_slides_and_videos
summit_slides_and_videos
November 3, 2024 21:20 1m 32s
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
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 #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 #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 #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