Skip to content

Actions: seL4/docs

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
160 workflow runs
160 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: use central CI workflows PR #426: Pull request #278 opened by lsf37
March 14, 2025 00:23 42s lsf37/central-workflows
lsf37/central-workflows
March 14, 2025 00:23 42s
Add Microkit 2.0.0 release PR #425: Pull request #277 synchronize by Ivan-Velickovic
March 6, 2025 05:06 38s microkit_2.0.0
microkit_2.0.0
March 6, 2025 05:06 38s
Add Microkit 2.0.0 release PR #424: Pull request #277 opened by Ivan-Velickovic
March 6, 2025 04:47 40s microkit_2.0.0
microkit_2.0.0
March 6, 2025 04:47 40s
Add SiFive Premier P550 PR #423: Pull request #276 opened by Ivan-Velickovic
February 12, 2025 04:00 38s Ivan-Velickovic:p550
Ivan-Velickovic:p550
February 12, 2025 04:00 38s
update ruby deps PR #422: Pull request #275 synchronize by Indanz
February 6, 2025 11:37 40s deps
deps
February 6, 2025 11:37 40s
update ruby deps PR #421: Pull request #275 opened by lsf37
February 5, 2025 23:34 40s deps
deps
February 5, 2025 23:34 40s
header: fix Projects link PR #420: Pull request #274 opened by lsf37
February 5, 2025 23:26 37s link-fix
link-fix
February 5, 2025 23:26 37s
Added documentation for Cheshire (CVA6) PR #419: Pull request #272 synchronize by omeh-a
February 4, 2025 06:04 1m 10s omeh-a:cheshire
omeh-a:cheshire
February 4, 2025 06:04 1m 10s
Added documentation for Cheshire (CVA6) PR #418: Pull request #272 synchronize by omeh-a
February 4, 2025 05:17 3m 46s omeh-a:cheshire
omeh-a:cheshire
February 4, 2025 05:17 3m 46s
Added documentation for Cheshire (CVA6) PR #417: Pull request #272 synchronize by omeh-a
February 3, 2025 01:15 1m 42s omeh-a:cheshire
omeh-a:cheshire
February 3, 2025 01:15 1m 42s
Adapt setup instructions for externally managed Python versions PR #415: Pull request #271 reopened by Ivan-Velickovic
January 21, 2025 10:24 47s newer_pip_instructions
newer_pip_instructions
January 21, 2025 10:24 47s
Adapt setup instructions for externally managed Python versions PR #414: Pull request #271 opened by Ivan-Velickovic
January 21, 2025 08:22 41s newer_pip_instructions
newer_pip_instructions
January 21, 2025 08:22 41s
add more verified platforms PR #413: Pull request #270 synchronize by lsf37
January 14, 2025 04:52 43s more-verfication
more-verfication
January 14, 2025 04:52 43s
add more verified platforms PR #412: Pull request #270 reopened by lsf37
January 14, 2025 04:50 37s more-verfication
more-verfication
January 14, 2025 04:50 37s
add more verified platforms PR #411: Pull request #270 opened by lsf37
January 12, 2025 23:10 43s more-verfication
more-verfication
January 12, 2025 23:10 43s
DOCSITE: Reorganise tutorials and add inline solutions PR #410: Pull request #231 synchronize by lsf37
January 6, 2025 05:50 43s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
January 6, 2025 05:50 43s
DOCSITE: Reorganise tutorials and add inline solutions PR #409: Pull request #231 synchronize by lsf37
January 6, 2025 04:56 44s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
January 6, 2025 04:56 44s
Add link for Microkit tutorial to homepage PR #408: Pull request #269 opened by Ivan-Velickovic
January 6, 2025 01:59 42s microkit_tutorial_link
microkit_tutorial_link
January 6, 2025 01:59 42s
Update some links to foundation website PR #407: Pull request #268 synchronize by mbrcknl
October 4, 2024 02:13 53s mbrcknl/fix-website-links
mbrcknl/fix-website-links
October 4, 2024 02:13 53s
Update some links to foundation website PR #406: Pull request #268 opened by mbrcknl
October 4, 2024 02:13 40s mbrcknl/fix-website-links
mbrcknl/fix-website-links
October 4, 2024 02:13 40s
DOCSITE: Reorganise tutorials and add inline solutions PR #405: Pull request #231 synchronize by bbrcknl
September 27, 2024 01:27 44s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
September 27, 2024 01:27 44s
build(deps): bump google-protobuf from 3.25.3 to 3.25.5 PR #404: Pull request #267 opened by dependabot bot
September 19, 2024 16:26 43s dependabot/bundler/google-protobuf-3.25.5
dependabot/bundler/google-protobuf-3.25.5
September 19, 2024 16:26 43s
update link to repo install doc PR #403: Pull request #266 synchronize by daichifukui
September 10, 2024 10:35 43s daichifukui:patch-2
daichifukui:patch-2
September 10, 2024 10:35 43s
update link to repo install doc PR #402: Pull request #266 opened by daichifukui
September 9, 2024 01:46 41s daichifukui:patch-2
daichifukui:patch-2
September 9, 2024 01:46 41s
Fix typos in Microkit 1.4.1 release notes PR #401: Pull request #265 opened by Ivan-Velickovic
August 26, 2024 09:54 45s typos
typos
August 26, 2024 09:54 45s