Michaelcobb/test ci - #1
Open
michaelcobb-capablehub wants to merge 10 commits into
Open
Conversation
michaelcobb-capablehub
force-pushed
the
michaelcobb/test-ci
branch
6 times, most recently
from
January 9, 2026 18:09
94c5c3b to
702088b
Compare
michaelcobb-capablehub
force-pushed
the
michaelcobb/test-ci
branch
6 times, most recently
from
January 28, 2026 14:33
9dba865 to
6500ecf
Compare
michaelcobb-capablehub
force-pushed
the
michaelcobb/test-ci
branch
from
February 27, 2026 16:40
d1b9ba1 to
162b378
Compare
| # | ||
| # See sel4test-sim/builds.yml in the repo seL4/ci-actions for configs. | ||
|
|
||
| name: seL4Exercises |
There was a problem hiding this comment.
Can we have Microkit's examples as well? Those should be able to run/pass before CHERI-seL4-Exercises. Also please change the names to include CHERI to avoid confusions: eg CHERIseL4Exercises or something
Collaborator
Author
There was a problem hiding this comment.
Hi Hesham, thanks for taking a look at this, I've incorporated your feedback and submitted a PR under CHERI-Alliance/seL4 repo here.
| strategy: | ||
| matrix: | ||
| arch: [ARM, ARM_HYP, AARCH64, RISCV64, X64] | ||
| arch: [ARM, ARM_HYP, AARCH64, RISCV64, RISCV64_PURECAP, X64] |
There was a problem hiding this comment.
Is it possible to not treat this as a separate arch? For example, in RISC-V, it's just a "Y" extensions similar to "F" and "D" (for floating point). Also any plans to add Morello as well?
| arch: [ RISCV64 ] | ||
| compiler: [gcc, llvm] | ||
| exclude: | ||
| - arch: RISCV64 |
| compiler: [gcc, llvm] | ||
| dockerfile: Dockerfile | ||
| include: | ||
| - arch: RISCV64_CHERI |
There was a problem hiding this comment.
The microkernel isn't really purecap, so this might be misleading. RISCV64_CHERI is better. Also it'd be great if CHERI could be treated as an extension rather than a separate arch
michaelcobb-capablehub
force-pushed
the
michaelcobb/test-ci
branch
7 times, most recently
from
March 3, 2026 18:46
20d88db to
1673c09
Compare
michaelcobb-capablehub
force-pushed
the
michaelcobb/test-ci
branch
3 times, most recently
from
March 10, 2026 15:46
8dbc476 to
d692399
Compare
michaelcobb-capablehub
force-pushed
the
michaelcobb/test-ci
branch
3 times, most recently
from
March 25, 2026 12:56
1d8b915 to
c83b4b2
Compare
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Signed-Off-By: Michael Cobb (The Capable Hub) <mcobb@thegoodpenguin.co.uk>
Signed-Off-By: Michael Cobb <michael.cobb@thecapablehub.org>
Signed-Off-By: Michael Cobb <michael.cobb@thecapablehub.org>
Signed-Off-By: Michael Cobb <michael.cobb@thecapablehub.org>
Signed-Off-By: Michael Cobb <michael.cobb@thecapablehub.org>
…CHERI Signed-Off-By: Michael Cobb (The Capable Hub) <mcobb@thegoodpenguin.co.uk>
Signed-Off-By: Michael Cobb (The Capable Hub) <mcobb@thegoodpenguin.co.uk>
Signed-Off-By: Michael Cobb (The Capable Hub) <mcobb@thegoodpenguin.co.uk>
michaelcobb-capablehub
force-pushed
the
michaelcobb/test-ci
branch
from
March 25, 2026 13:39
879629c to
f686241
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Test PR workflow