Skip to content

Actions: seL4/docs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
264 workflow runs
264 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update some links to foundation website CI #575: Commit d43fdca pushed by lsf37
October 4, 2024 02:39 35s master
master
October 4, 2024 02:39 35s
Update some links to foundation website CI #574: Pull request #268 synchronize by mbrcknl
October 4, 2024 02:13 46s mbrcknl/fix-website-links
mbrcknl/fix-website-links
October 4, 2024 02:13 46s
Update some links to foundation website CI #573: Pull request #268 opened by mbrcknl
October 4, 2024 02:13 1m 2s mbrcknl/fix-website-links
mbrcknl/fix-website-links
October 4, 2024 02:13 1m 2s
DOCSITE: Reorganise tutorials and add inline solutions CI #572: Pull request #231 synchronize by bbrcknl
September 27, 2024 01:27 49s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
September 27, 2024 01:27 49s
update link to repo install doc CI #571: Commit 7c25115 pushed by lsf37
September 23, 2024 10:58 30s master
master
September 23, 2024 10:58 30s
build(deps): bump google-protobuf from 3.25.3 to 3.25.5 CI #570: Pull request #267 opened by dependabot bot
September 19, 2024 16:26 50s dependabot/bundler/google-protobuf-3.25.5
dependabot/bundler/google-protobuf-3.25.5
September 19, 2024 16:26 50s
update link to repo install doc CI #569: Pull request #266 synchronize by daichifukui
September 10, 2024 10:35 47s daichifukui:patch-2
daichifukui:patch-2
September 10, 2024 10:35 47s
update link to repo install doc CI #568: Pull request #266 opened by daichifukui
September 9, 2024 01:46 51s daichifukui:patch-2
daichifukui:patch-2
September 9, 2024 01:46 51s
Fix typos in Microkit 1.4.1 release notes CI #567: Commit 68aea3a pushed by lsf37
August 26, 2024 10:23 30s master
master
August 26, 2024 10:23 30s
Fix typos in Microkit 1.4.1 release notes CI #566: Pull request #265 opened by Ivan-Velickovic
August 26, 2024 09:54 47s typos
typos
August 26, 2024 09:54 47s
DOCSITE: Reorganise tutorials and add inline solutions CI #565: Pull request #231 synchronize by bbrcknl
August 26, 2024 01:49 41s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 26, 2024 01:49 41s
DOCSITE: Reorganise tutorials and add inline solutions CI #564: Pull request #231 synchronize by bbrcknl
August 23, 2024 03:19 55s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 23, 2024 03:19 55s
DOCSITE: Reorganise tutorials and add inline solutions CI #563: Pull request #231 synchronize by bbrcknl
August 23, 2024 03:12 43s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 23, 2024 03:12 43s
DOCSITE: Reorganise tutorials and add inline solutions CI #562: Pull request #231 synchronize by bbrcknl
August 23, 2024 02:57 44s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 23, 2024 02:57 44s
DOCSITE: Reorganise tutorials and add inline solutions CI #561: Pull request #231 synchronize by bbrcknl
August 23, 2024 02:03 50s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 23, 2024 02:03 50s
DOCSITE: Reorganise tutorials and add inline solutions CI #560: Pull request #231 synchronize by bbrcknl
August 23, 2024 01:43 43s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 23, 2024 01:43 43s
Add Microkit 1.4.1 release CI #559: Commit 0fbc0d8 pushed by lsf37
August 19, 2024 05:43 28s master
master
August 19, 2024 05:43 28s
Add Microkit 1.4.1 release CI #558: Pull request #264 synchronize by Ivan-Velickovic
August 18, 2024 03:44 41s microkit_1.4.1
microkit_1.4.1
August 18, 2024 03:44 41s
Add Microkit 1.4.1 release CI #557: Pull request #264 opened by Ivan-Velickovic
August 16, 2024 06:05 49s microkit_1.4.1
microkit_1.4.1
August 16, 2024 06:05 49s
DOCSITE: Reorganise tutorials and add inline solutions CI #556: Pull request #231 synchronize by bbrcknl
August 12, 2024 00:24 40s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 12, 2024 00:24 40s
DOCSITE: Reorganise tutorials and add inline solutions CI #555: Pull request #231 synchronize by bbrcknl
August 11, 2024 23:39 46s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 11, 2024 23:39 46s
DOCSITE: Reorganise tutorials and add inline solutions CI #554: Pull request #231 synchronize by bbrcknl
August 9, 2024 06:55 55s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 9, 2024 06:55 55s
DOCSITE: Reorganise tutorials and add inline solutions CI #553: Pull request #231 synchronize by bbrcknl
August 9, 2024 04:36 44s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 9, 2024 04:36 44s
DOCSITE: Reorganise tutorials and add inline solutions CI #552: Pull request #231 synchronize by bbrcknl
August 9, 2024 04:36 40s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 9, 2024 04:36 40s
DOCSITE: Reorganise tutorials and add inline solutions CI #551: Pull request #231 synchronize by bbrcknl
August 9, 2024 04:35 39s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
August 9, 2024 04:35 39s