Skip to content

Actions: seL4/website

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
725 workflow runs
725 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add SPDX license identifier to _includes files CI #2185: Commit 1cd6af7 pushed by lsf37
November 4, 2024 09:07 32s master
master
November 4, 2024 09:07 32s
Add served-by-seL4 footer to mobile pages CI #2184: Pull request #416 synchronize by JE-Archer
November 4, 2024 05:03 34s JE-Archer:footer
JE-Archer:footer
November 4, 2024 05:03 34s
Add served-by-seL4 footer to mobile pages CI #2183: Pull request #416 synchronize by JE-Archer
November 4, 2024 04:55 35s JE-Archer:footer
JE-Archer:footer
November 4, 2024 04:55 35s
Add served-by-seL4 footer to mobile pages CI #2182: Pull request #416 synchronize by JE-Archer
November 4, 2024 04:54 39s JE-Archer:footer
JE-Archer:footer
November 4, 2024 04:54 39s
Add served-by-seL4 footer to mobile pages CI #2181: Pull request #416 synchronize by JE-Archer
November 4, 2024 04:33 48s JE-Archer:footer
JE-Archer:footer
November 4, 2024 04:33 48s
add slides and videos to summit program CI #2180: Pull request #415 synchronize by bbrcknl
November 4, 2024 02:30 51s summit_slides_and_videos
summit_slides_and_videos
November 4, 2024 02:30 51s
add signed BM minutes CI #2179: Pull request #417 opened by bbrcknl
November 3, 2024 21:27 37s board_meeting_minutes
board_meeting_minutes
November 3, 2024 21:27 37s
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
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
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 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 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 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 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 CI #2170: Pull request #415 synchronize by bbrcknl
October 28, 2024 04:01 40s summit_slides_and_videos
summit_slides_and_videos
October 28, 2024 04:01 40s
add slides and videos to summit program CI #2169: Pull request #415 synchronize by bbrcknl
October 28, 2024 00:57 57s summit_slides_and_videos
summit_slides_and_videos
October 28, 2024 00:57 57s
CI: update performance results CI #2168: Commit dac75c4 pushed by seL4-ci
October 25, 2024 06:28 31s master
master
October 25, 2024 06:28 31s
CI: update performance results CI #2167: Commit 4345d16 pushed by seL4-ci
October 24, 2024 05:20 28s master
master
October 24, 2024 05:20 28s
Add served-by-seL4 footer to mobile pages CI #2166: Pull request #416 opened by JE-Archer
October 21, 2024 02:47 32s JE-Archer:footer
JE-Archer:footer
October 21, 2024 02:47 32s
CI: update performance results CI #2165: Commit 1c649f1 pushed by seL4-ci
October 21, 2024 00:24 36s master
master
October 21, 2024 00:24 36s
CI: update performance results CI #2164: Commit 853a74b pushed by seL4-ci
October 17, 2024 09:47 31s master
master
October 17, 2024 09:47 31s
add slides and videos to summit program CI #2163: Pull request #415 opened by bbrcknl
October 17, 2024 04:37 1m 27s summit_slides_and_videos
summit_slides_and_videos
October 17, 2024 04:37 1m 27s
tsc: add meeting minutes from July CI #2162: Commit 705da66 pushed by lsf37
October 15, 2024 23:30 36s master
master
October 15, 2024 23:30 36s
tsc: add meeting minutes from July CI #2161: Pull request #412 synchronize by lsf37
October 15, 2024 19:51 36s tsc-meeting-july
tsc-meeting-july
October 15, 2024 19:51 36s