Merge pull request #412 from pq-code-package/gcc15

nix/CI: Add gcc15 tests

Author: mkannwischer

.github/workflows/ci.yml

@@ -190,6 +190,14 @@ jobs:
            c23: True
            opt: all
            examples: False
+         - name: gcc-15
+           shell: ci_gcc15
+           # TODO: Add this once gcc15 is supported in nix on aarch64-Darwin
+           darwin: False
+           c17: True
+           c23: True
+           opt: all
+           examples: true
          - name: clang-18
            shell: ci_clang18
            darwin: True
@@ -344,7 +352,7 @@ jobs:
         with:
           gh_token: ${{ secrets.GITHUB_TOKEN }}
           compile_mode: native
-          nix-shell: ci_valgrind-varlat_gcc14
+          nix-shell: ci_valgrind-varlat_gcc15
           nix-cache: false
           opt: all
           cflags: "${{ matrix.cflags }}"

.github/workflows/ct-tests.yml

@@ -35,6 +35,7 @@ jobs:
           - ci_valgrind-varlat_gcc12
           - ci_valgrind-varlat_gcc13
           - ci_valgrind-varlat_gcc14
+          - ci_valgrind-varlat_gcc15
     runs-on: ${{ matrix.system }}
     steps:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2

flake.lock

@@ -118,6 +118,7 @@
           devShells.ci_gcc12 = util.mkShellWithCC' pkgs.gcc12;
           devShells.ci_gcc13 = util.mkShellWithCC' pkgs.gcc13;
           devShells.ci_gcc14 = util.mkShellWithCC' pkgs.gcc14;
+          devShells.ci_gcc15 = util.mkShellWithCC' pkgs.gcc15;
 
           # valgrind with a patch for detecting variable-latency instructions
           devShells.ci_valgrind-varlat_clang14 = util.mkShellWithCC_valgrind' pkgs.clang_14;
@@ -134,6 +135,7 @@
           devShells.ci_valgrind-varlat_gcc12 = util.mkShellWithCC_valgrind' pkgs.gcc12;
           devShells.ci_valgrind-varlat_gcc13 = util.mkShellWithCC_valgrind' pkgs.gcc13;
           devShells.ci_valgrind-varlat_gcc14 = util.mkShellWithCC_valgrind' pkgs.gcc14;
+          devShells.ci_valgrind-varlat_gcc15 = util.mkShellWithCC_valgrind' pkgs.gcc15;
         };
       flake = {
         devShell.x86_64-linux =