Skip to content

Actions: seL4/docs

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
187 workflow runs
187 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
DOCSITE: Reorganise tutorials and add inline solutions PR #400: Pull request #231 synchronize by bbrcknl
August 26, 2024 01:49 37s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 26, 2024 01:49 37s
DOCSITE: Reorganise tutorials and add inline solutions PR #399: Pull request #231 synchronize by bbrcknl
August 23, 2024 03:19 41s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 23, 2024 03:19 41s
DOCSITE: Reorganise tutorials and add inline solutions PR #398: Pull request #231 synchronize by bbrcknl
August 23, 2024 03:12 41s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 23, 2024 03:12 41s
DOCSITE: Reorganise tutorials and add inline solutions PR #397: Pull request #231 synchronize by bbrcknl
August 23, 2024 02:57 42s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 23, 2024 02:57 42s
DOCSITE: Reorganise tutorials and add inline solutions PR #396: Pull request #231 synchronize by bbrcknl
August 23, 2024 02:03 46s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 23, 2024 02:03 46s
DOCSITE: Reorganise tutorials and add inline solutions PR #395: Pull request #231 synchronize by bbrcknl
August 23, 2024 01:43 38s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 23, 2024 01:43 38s
Add Microkit 1.4.1 release PR #394: Pull request #264 synchronize by Ivan-Velickovic
August 18, 2024 03:44 39s microkit_1.4.1
microkit_1.4.1
August 18, 2024 03:44 39s
Add Microkit 1.4.1 release PR #393: Pull request #264 opened by Ivan-Velickovic
August 16, 2024 06:05 41s microkit_1.4.1
microkit_1.4.1
August 16, 2024 06:05 41s
DOCSITE: Reorganise tutorials and add inline solutions PR #392: Pull request #231 synchronize by bbrcknl
August 12, 2024 00:24 47s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 12, 2024 00:24 47s
DOCSITE: Reorganise tutorials and add inline solutions PR #391: Pull request #231 synchronize by bbrcknl
August 11, 2024 23:39 44s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 11, 2024 23:39 44s
DOCSITE: Reorganise tutorials and add inline solutions PR #390: Pull request #231 synchronize by bbrcknl
August 9, 2024 06:55 44s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 9, 2024 06:55 44s
DOCSITE: Reorganise tutorials and add inline solutions PR #389: Pull request #231 synchronize by bbrcknl
August 9, 2024 04:36 35s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 9, 2024 04:36 35s
DOCSITE: Reorganise tutorials and add inline solutions PR #388: Pull request #231 synchronize by bbrcknl
August 9, 2024 04:36 39s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 9, 2024 04:36 39s
DOCSITE: Reorganise tutorials and add inline solutions PR #387: Pull request #231 synchronize by bbrcknl
August 9, 2024 04:35 43s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 9, 2024 04:35 43s
DOCSITE: Reorganise tutorials and add inline solutions PR #386: Pull request #231 synchronize by bbrcknl
August 9, 2024 04:35 42s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 9, 2024 04:35 42s
Add Microkit 1.4.0 release PR #385: Pull request #263 synchronize by Ivan-Velickovic
August 5, 2024 10:24 38s Ivan-Velickovic:microkit_1.4.0
Ivan-Velickovic:microkit_1.4.0
August 5, 2024 10:24 38s
Add Microkit 1.4.0 release PR #384: Pull request #263 opened by Ivan-Velickovic
August 5, 2024 10:21 37s Ivan-Velickovic:microkit_1.4.0
Ivan-Velickovic:microkit_1.4.0
August 5, 2024 10:21 37s
DOCSITE: Reorganise tutorials and add inline solutions PR #383: Pull request #231 synchronize by lsf37
August 2, 2024 00:09 40s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 2, 2024 00:09 40s