fix #14115: GUI: allow that premium misra C is enabled even if there is no misra.py #18937
Triggered via pull request
September 8, 2025 16:21
ludviggunne
Status
Success
Total duration
1h 12m 59s
Artifacts
–