Dear experts, I am seL4 newbie. When I changed compile options in seL4/CMakeLists.txt, I got check errors from "ci-actions/preprocess" check like this one: https://github.com/seL4/seL4/actions/runs/11682457028/job/32529623251 Can someone teach where I can see details of "ci-actions/preprocess" check? Regards, yf
Hello Yanfeng, On 2024-11-06 04:04, Yanfeng via Devel wrote:
When I changed compile options in seL4/CMakeLists.txt, I got check errors from "ci-actions/preprocess" check like this one:
https://github.com/seL4/seL4/actions/runs/11682457028/job/32529623251
Can someone teach where I can see details of "ci-actions/preprocess" check?
https://github.com/seL4/ci-actions/tree/master/preprocess For others, Yanfeng's PR triggering those errors is: https://github.com/seL4/seL4/pull/1346 Greetings, Indan
Indan, Many thanks! Though I haven't find how it invokes the kernel side cmake system, but I guess it might used the `-DKernelVerificationBuild=ON` switch. Please feel free to teach if I am wrong. Regards, yf On Wed, 2024-11-06 at 22:23 +0000, Indan Zupancic wrote:
Hello Yanfeng,
On 2024-11-06 04:04, Yanfeng via Devel wrote:
When I changed compile options in seL4/CMakeLists.txt, I got check errors from "ci-actions/preprocess" check like this one:
https://github.com/seL4/seL4/actions/runs/11682457028/job/32529623251
Can someone teach where I can see details of "ci- actions/preprocess" check?
https://github.com/seL4/ci-actions/tree/master/preprocess
For others, Yanfeng's PR triggering those errors is: https://github.com/seL4/seL4/pull/1346
Greetings,
Indan _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
participants (2)
-
Indan Zupancic -
Yanfeng