lsf37
commented
3 months ago The purpose it two-fold:
- enable PRs to be merged again
- confirm that it is indeed the base image of the container (and not just a local effect on my machine that reverting the base image fixes the issues)
Base images since 2024-07-19 produce sel4test images with new failures for imx8mm-evk and odroid_c4. Pin to the version before that to enable continued development for now.
The intention is to revert this commit once we have figured out what has changed in the build container to make the tests fail.