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