Skip to content
Build manual

fix #14115: GUI: allow that premium misra C is enabled even if there is no misra.py #19104

Sign in to view logs

fix #14115: GUI: allow that premium misra C is enabled even if there is no misra.py

fix #14115: GUI: allow that premium misra C is enabled even if there is no misra.py #19104

Run time

Learn about OS pricing on GitHub Actions
Job Run time
manpage
22s
convert_via_pandoc
16s
38s