axel-h
commented
1 year ago Seems to work now, after rebasing https://github.com/seL4/camkes-vm/pull/81 I see
https://github.com/seL4/camkes-vm/actions/runs/4715058600/jobs/8361794896?pr=81 picking up the proper commit for camkes-vm
camkes-vm-examples-manifest: 6d870c12 Updating default.xml (origin/master)
seL4: a7845d29 gic_v3: fix offset for gicd iroutern mem-map..
camkes-tool: d7d37df9 cmake: improve maintainability
camkes-vm-images: 69af5316 github: trigger main test on push to master ..
capdl: 3fa3a1b5 trivial: fix style for changed file
global-components: SerialServer: add ^C and ^Z to switching logic
libzmq: d062edd8 Finalise changelog for 4.2.5
lwip: 159e31b6 Prepare 2.1.2 release (tags/STABLE-2_1_2_RELEASE^0)
musllibc: 3d6b939e aarch64_sel4: Use more supported asm directive
picotcp: 13c00a06 minor README.md text improvements
projects_libs: 524777b7 trivial,libvswitch: Style include/vswitch.h
seL4_libs: 2ca52542 libsel4bench: add support for ARM Cortex-A55
seL4_projects_libs: e919ff93 libsel4vmmplatsupport: remove unrechable ret..
sel4runtime: d935dd05 aarch32: Rename __aeabi_read_tp file (#15)
util_libs: e8e30909 libcpio: fix conversion of -1 to ulong
camkes-vm: 032efb16 debug messages
camkes-vm-examples: 9f0a5344 Add documentation of package structure
camkes-vm-linux: 46fb8b6e vm-linux-helpers: symbolic links in overlays
polly: ef7e79c2 README.md
seL4_tools: 2c213a9e don't shadow variable
Provide the PR commit sha, otherwise the test will just run on the master branch.