Upgrade to Ubuntu 24.04 (#181)

The clang-format version 16 shipped with Ubuntu Linux 22.04, the latest
long-term support system, is known to indent existing C code in a way
compatible with that indented by clang-format version 14, meaning that
an upgrade in the CI pipeline can ensure compatibility of clang-format.

.ci/check-format.sh

@@ -6,7 +6,7 @@ set -x
 
 for file in ${SOURCES};
 do
-    clang-format-14 ${file} > expected-format
+    clang-format-16 ${file} > expected-format
     diff -u -p --label="${file}" --label="expected coding style" ${file} expected-format
 done
-exit $(clang-format-14 --output-replacements-xml ${SOURCES} | grep -E -c "</replacement>")
+exit $(clang-format-16 --output-replacements-xml ${SOURCES} | grep -E -c "</replacement>")

.github/workflows/main.yml

@@ -4,7 +4,7 @@ on: [push, pull_request]
 
 jobs:
   lab0-c:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v4
     - uses: webfactory/[email protected]
@@ -31,12 +31,12 @@ jobs:
             cat scripts/kirby.raw
 
   coding-style:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v4
     - name: coding convention
       run: |
-            sudo apt-get install -q -y clang-format-14
+            sudo apt-get install -q -y clang-format-16
             .ci/check-newline.sh
             .ci/check-format.sh
       shell: bash