7 Nov
2024
7 Nov
'24
9:23 a.m.
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