Skip to content

Actions: seL4/docs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
237 workflow runs
237 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mention SDK download in Microkit release CI #504: Pull request #258 opened by Ivan-Velickovic
July 2, 2024 01:37 42s Ivan-Velickovic:release_download
Ivan-Velickovic:release_download
July 2, 2024 01:37 42s
add new releases CI #503: Commit 16ce953 pushed by Ivan-Velickovic
July 2, 2024 01:35 23s master
master
July 2, 2024 01:35 23s
add new releases CI #502: Pull request #257 synchronize by Ivan-Velickovic
July 2, 2024 01:32 43s release
release
July 2, 2024 01:32 43s
add new releases CI #501: Pull request #257 synchronize by Ivan-Velickovic
July 2, 2024 01:20 43s release
release
July 2, 2024 01:20 43s
add new releases CI #500: Pull request #257 synchronize by Ivan-Velickovic
July 2, 2024 00:07 41s release
release
July 2, 2024 00:07 41s
add new releases CI #499: Pull request #257 synchronize by Ivan-Velickovic
July 1, 2024 23:58 48s release
release
July 1, 2024 23:58 48s
add new releases CI #498: Pull request #257 synchronize by Ivan-Velickovic
July 1, 2024 23:57 42s release
release
July 1, 2024 23:57 42s
add new releases CI #497: Pull request #257 opened by lsf37
July 1, 2024 10:01 48s release
release
July 1, 2024 10:01 48s
Add downloads section for Microkit SDK CI #496: Pull request #256 opened by Ivan-Velickovic
July 1, 2024 08:29 43s Ivan-Velickovic:microkit_downloads
Ivan-Velickovic:microkit_downloads
July 1, 2024 08:29 43s
Add section on installing standalone kernel build CI #495: Pull request #255 opened by Ivan-Velickovic
July 1, 2024 06:56 49s Ivan-Velickovic:standalone_kernel_install
Ivan-Velickovic:standalone_kernel_install
July 1, 2024 06:56 49s
platform-owner: bring text up to date CI #494: Commit 484c588 pushed by lsf37
June 27, 2024 14:18 34s master
master
June 27, 2024 14:18 34s
update RFC links to point to GitHub CI #493: Pull request #253 synchronize by lsf37
June 27, 2024 14:14 1m 11s github-rfcs
github-rfcs
June 27, 2024 14:14 1m 11s
README: improve install instructions CI #492: Commit 1ad0a7a pushed by lsf37
June 27, 2024 14:13 27s master
master
June 27, 2024 14:13 27s
README: improve install instructions CI #491: Pull request #252 synchronize by lsf37
June 27, 2024 14:09 45s typos
typos
June 27, 2024 14:09 45s
Reset the page on Rust CI #490: Commit fdb96bc pushed by lsf37
June 21, 2024 10:14 29s master
master
June 21, 2024 10:14 29s
Reset the page on Rust CI #489: Pull request #254 opened by nspin
June 21, 2024 10:03 43s nspin:pr/reset-rust-page
nspin:pr/reset-rust-page
June 21, 2024 10:03 43s
update RFC links to point to GitHub CI #488: Pull request #253 opened by lsf37
June 20, 2024 06:03 49s github-rfcs
github-rfcs
June 20, 2024 06:03 49s
README: improve install instructions CI #487: Pull request #252 opened by lsf37
June 5, 2024 22:54 1m 1s typos
typos
June 5, 2024 22:54 1m 1s
DOCSITE: Reorganise tutorials and add inline solutions CI #486: Pull request #231 synchronize by bbrcknl
May 27, 2024 04:03 43s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
May 27, 2024 04:03 43s
DOCSITE: Reorganise tutorials and add inline solutions CI #485: Pull request #231 synchronize by bbrcknl
May 27, 2024 03:50 1m 20s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
May 27, 2024 03:50 1m 20s
DOCSITE: Reorganise tutorials and add inline solutions CI #484: Pull request #231 synchronize by bbrcknl
May 27, 2024 03:32 52s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
May 27, 2024 03:32 52s
DOCSITE: Reorganise tutorials and add inline solutions CI #483: Pull request #231 synchronize by bbrcknl
May 27, 2024 03:22 49s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
May 27, 2024 03:22 49s
README: bundle install not necessary CI #482: Commit 4a75e42 pushed by lsf37
May 20, 2024 23:41 25s master
master
May 20, 2024 23:41 25s
Ruby setup CI #481: Pull request #250 synchronize by lsf37
May 20, 2024 23:35 43s ruby-setup
ruby-setup
May 20, 2024 23:35 43s
remove errorneous " in Hardware/index.md CI #480: Commit 03ca1a8 pushed by Indanz
May 20, 2024 15:47 30s master
master
May 20, 2024 15:47 30s