Skip to content

Actions: seL4/capdl

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enforce architecture parameter, drop aarch32 as default PR #180: Pull request #46 synchronize by axel-h
July 11, 2024 10:42 24s axel-h:patch-axel-5
axel-h:patch-axel-5
July 11, 2024 10:42 24s
github: switch to maintained haskell-actions/setup PR #179: Pull request #71 synchronize by lsf37
July 11, 2024 06:26 40s github-stack
github-stack
July 11, 2024 06:26 40s
github: switch to maintained haskell-actions/setup PR #178: Pull request #71 synchronize by lsf37
July 11, 2024 06:23 22s github-stack
github-stack
July 11, 2024 06:23 22s
github: switch to maintained haskell-actions/setup PR #177: Pull request #71 synchronize by lsf37
July 11, 2024 06:18 34s github-stack
github-stack
July 11, 2024 06:18 34s
github: switch to maintained haskell-actions/setup PR #176: Pull request #71 opened by lsf37
July 11, 2024 06:14 26s github-stack
github-stack
July 11, 2024 06:14 26s
undyped_gen: remove pyaml dependency PR #175: Pull request #70 synchronize by lsf37
July 11, 2024 05:24 39s python-deps
python-deps
July 11, 2024 05:24 39s
undyped_gen: remove pyaml dependency PR #174: Pull request #70 opened by lsf37
July 11, 2024 04:15 30s python-deps
python-deps
July 11, 2024 04:15 30s
post-release: Update VERSION file to 0.3-dev PR #173: Pull request #69 opened by lsf37
July 1, 2024 08:43 7m 38s post-release
post-release
July 1, 2024 08:43 7m 38s
recreate 0.3-dev release state PR #172: Pull request #68 opened by lsf37
July 1, 2024 08:38 2m 39s release-fix
release-fix
July 1, 2024 08:38 2m 39s
0.3 Release for seL4 13.0.0 PR #171: Pull request #67 synchronize by lsf37
July 1, 2024 07:43 4m 37s release
release
July 1, 2024 07:43 4m 37s
0.3 Release for seL4 13.0.0 PR #170: Pull request #67 opened by lsf37
July 1, 2024 07:37 1m 49s release
release
July 1, 2024 07:37 1m 49s
trivial: Make capitalization more consistent PR #169: Pull request #61 synchronize by lsf37
July 1, 2024 05:45 58s nspin:pr/capitalization-fix
nspin:pr/capitalization-fix
July 1, 2024 05:45 58s
trivial: Make capitalization more consistent PR #168: Pull request #61 synchronize by lsf37
July 1, 2024 05:39 26s nspin:pr/capitalization-fix
nspin:pr/capitalization-fix
July 1, 2024 05:39 26s
capDL-tool, capdl-loader-app: Add support for binding notifications for TCBs PR #167: Pull request #62 synchronize by lsf37
July 1, 2024 05:35 24s nspin:pr/tcb-bound-notification
nspin:pr/tcb-bound-notification
July 1, 2024 05:35 24s
capDL-tool, capdl-loader-app: Add support for binding notifications for TCBs PR #166: Pull request #62 synchronize by lsf37
July 1, 2024 05:32 1m 22s nspin:pr/tcb-bound-notification
nspin:pr/tcb-bound-notification
July 1, 2024 05:32 1m 22s
update change log PR #165: Pull request #66 synchronize by lsf37
June 27, 2024 13:26 38s lsf37/changes
lsf37/changes
June 27, 2024 13:26 38s
update change log PR #164: Pull request #66 synchronize by lsf37
June 27, 2024 00:27 35s lsf37/changes
lsf37/changes
June 27, 2024 00:27 35s
update change log PR #163: Pull request #66 opened by lsf37
June 27, 2024 00:26 31s lsf37/changes
lsf37/changes
June 27, 2024 00:26 31s
trivial: Make capitalization more consistent PR #162: Pull request #61 synchronize by lsf37
June 26, 2024 22:56 31s nspin:pr/capitalization-fix
nspin:pr/capitalization-fix
June 26, 2024 22:56 31s
Replace deprecated pkg_resources usage PR #161: Pull request #58 synchronize by lsf37
June 17, 2024 02:23 7m 27s hcindyl:update-pkg_resources
hcindyl:update-pkg_resources
June 17, 2024 02:23 7m 27s
loader mcs: set handler params with TCB syscalls PR #160: Pull request #47 synchronize by lsf37
June 13, 2024 09:51 32s corlewis:corlewis/set-handler-params
corlewis:corlewis/set-handler-params
June 13, 2024 09:51 32s
capdl-loader-app: use sel4muslcsys_setup_morecore_region() PR #159: Pull request #42 synchronize by axel-h
March 22, 2024 14:30 41s Hensoldt-Cyber:patch-axel-7
Hensoldt-Cyber:patch-axel-7
March 22, 2024 14:30 41s
ARMv6 is no longer supported by seL4 PR #158: Pull request #39 synchronize by axel-h
March 22, 2024 14:28 30s axel-h:patch-axel-3
axel-h:patch-axel-3
March 22, 2024 14:28 30s
Enforce architecture parameter, drop aarch32 as default PR #157: Pull request #46 synchronize by axel-h
March 22, 2024 14:28 29s axel-h:patch-axel-5
axel-h:patch-axel-5
March 22, 2024 14:28 29s
capDL-tool, capdl-loader-app: Add support for binding notifications for TCBs PR #156: Pull request #62 synchronize by nspin
February 15, 2024 00:55 29s nspin:pr/tcb-bound-notification
nspin:pr/tcb-bound-notification
February 15, 2024 00:55 29s