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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
