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 -- [email protected]
To unsubscribe send an email to [email protected]
