seL4/.github
Gerwin Klein 7d493561cb github: pin style check to ubuntu-22.04
The default python version changes on ubuntu-24, which breaks the
version of cmake-format we are currently using.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2024-12-19 11:05:25 +11:00
..
workflows github: pin style check to ubuntu-22.04 2024-12-19 11:05:25 +11:00