portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
4929 commits 1 branch 42 tags 18 MiB
Commit graph

10 commits

Author SHA1 Message Date
Gerwin Klein
9d84967424 github: bump GH action versions 
Node 20 is deprecated. Bump GitHub action dependencies to versions that
run on more recent node.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2026-05-28 18:13:04 +10:00
Gerwin Klein
3c7c4d1182 github: add manual trigger where possible 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2025-02-18 09:22:15 +11:00
Nick Spinale
dbd6efc507 libsel4: rename interface XML files 
Before, some object API XML files conflicted when the include,
arch_include, and sel4_arch_include directories were combined:

- include/interfaces/sel4.xml
- arch_include/*/interfaces/sel4arch.xml
- sel4_arch_include/*/interfaces/sel4arch.xml

This commit renames them to:

- include/interfaces/object-api.xml
- arch_include/*/interfaces/object-api-arch.xml
- sel4_arch_include/*/interfaces/object-api-sel4-arch.xml

Now, when the include, arch_include, and sel4_arch_include directories
are combined, we are left with:

- interfaces/object-api.xml
- interfaces/object-api-arch.xml
- interfaces/object-api-sel4-arch.xml

Signed-off-by: Nick Spinale <nick@nickspinale.com>
 2024-06-30 18:28:12 +10:00
Gerwin Klein
fa28409d55 github: bump GitHub actions to node20 
GitHub has updated the LTS node.js version from 16 to 20 and is
starting to show warnings for node16 actions.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2024-01-29 10:11:25 +11:00
Gerwin Klein
ab30e1cad6 github: bump action deps to node16 actions 
GitHub has deprecated the old node12-based actions.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2022-11-21 15:59:06 +11:00
matt rice
64970f67de ci: run apt-get update before install 
Signed-off-by: matt rice <ratmice@gmail.com>
 2022-03-22 18:33:38 +11:00
matt rice
9d2a95fbac ci: add syscall.xsd to xml_lint 
Signed-off-by: matt rice <ratmice@gmail.com>
 2022-03-22 18:33:38 +11:00
matt rice
b0d70f1ebc add libsel4/tools/sel4_idl.xsd to replace dtd 
No intended changes to the schema, just change
the schema from dtd to xsd, and update ci to use it.

Signed-off-by: matt rice <ratmice@gmail.com>
 2022-03-22 18:33:38 +11:00
Gerwin Klein
338a7f1202 github: trigger xml-lint test on dtd changes 
Changes to the dtd can also invalidate the test, so must be part of
the trigger.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2022-02-06 14:33:08 +11:00
Gerwin Klein
d1643774cd github: CI action to lint libsel4 IDL files 
This will lint everything called `sel4*.xml` under `libsel4/`.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-06-22 11:26:17 +10:00