p4lang · jhavrane · Dec 4, 2025 · Dec 12, 2025 · Dec 12, 2025 · Jul 17, 2025
diff --git a/.github/workflows/auto-label.yml b/.github/workflows/auto-label.yml
@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Auto-label Issues and PRs
-        uses: actions/github-script@v7
+        uses: actions/github-script@v8
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
           script: |

diff --git a/.github/workflows/ci-auto-release.yml b/.github/workflows/ci-auto-release.yml
@@ -11,7 +11,7 @@ jobs:
     if: ${{ github.repository == 'p4lang/p4c' && github.ref == 'refs/heads/main' }}
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
         with:
           # Fetch all history for all branches and tags
           fetch-depth: 0
@@ -36,7 +36,10 @@ jobs:
           echo "::set-output name=content::$CHANGELOG"
 
       - name: Display changelog
-        run: echo "${{ steps.changelog.outputs.content }}"
+        run: |
+          cat <<'EOF'
+          ${{ steps.changelog.outputs.content }}
+          EOF
 
       - name: Get version
         run: |
@@ -46,7 +49,7 @@ jobs:
       - name: Get commit message
         id: message
         run: |
-          COMMIT_MSG=$(cat << EOF
+          COMMIT_MSG=$(cat << 'EOF'
           Release v${{ env.VERSION }}
           Signed-off-by: rst0git <9142901+rst0git@users.noreply.github.com>
 
@@ -61,7 +64,7 @@ jobs:
       - name: Get pull request body message
         id: body
         run: |
-          MSG=$(cat << EOF
+          MSG=$(cat << 'EOF'
           Auto-generated pull request for version ${{ env.VERSION }}.
 
           Please use **Squash and merge** to include the changelog in the release message.
@@ -75,7 +78,7 @@ jobs:
           echo "::set-output name=content::$MSG"
 
       - name: Create Pull Request
-        uses: peter-evans/create-pull-request@v7
+        uses: peter-evans/create-pull-request@v8
         with:
           base: main
           add-paths: Version.txt

diff --git a/.github/workflows/ci-bazel.yml b/.github/workflows/ci-bazel.yml
@@ -18,7 +18,7 @@ jobs:
   format_bazel_files:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
       - run: tools/format-bazel-files.sh
       - name: Check formatting diff
         run: |
@@ -37,12 +37,12 @@ jobs:
     needs: format_bazel_files
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
 
       - name: Mount bazel cache
-        uses: actions/cache/restore@v4
+        uses: actions/cache/restore@v5
         with:
           path: ~/.cache/bazel
           key: ${{ runner.os }}-bazel-direct-${{ hashFiles('**/*.bazel*', '**/*.bzl') }}
@@ -81,7 +81,7 @@ jobs:
         run: rm -rf $(bazel info repository_cache)
 
       - name: Save bazel cache
-        uses: actions/cache/save@v4
+        uses: actions/cache/save@v5
         if: always() && (github.ref_name == 'main' || env.duration > 180)
         with:
           path: ~/.cache/bazel
@@ -91,12 +91,12 @@ jobs:
     needs: format_bazel_files
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
 
       - name: Mount bazel cache
-        uses: actions/cache/restore@v4
+        uses: actions/cache/restore@v5
         with:
           path: ~/.cache/bazel
           key: ${{ runner.os }}-bazel-indirect-${{ hashFiles('**/*.bazel*', '**/*.bzl') }}
@@ -135,7 +135,7 @@ jobs:
         run: rm -rf $(bazel info repository_cache)
 
       - name: Save bazel cache
-        uses: actions/cache/save@v4
+        uses: actions/cache/save@v5
         if: always() && (github.ref_name == 'main' || env.duration > 180)
         with:
           path: ~/.cache/bazel

diff --git a/.github/workflows/ci-container-image.yml b/.github/workflows/ci-container-image.yml
@@ -24,7 +24,7 @@ jobs:
     if: ${{ github.repository == 'p4lang/p4c' }}
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
       - name: Determine Docker image tag

diff --git a/.github/workflows/ci-lint.yaml b/.github/workflows/ci-lint.yaml
@@ -21,10 +21,10 @@ jobs:
       CMAKE_ONLY: ON
       CTEST_PARALLEL_LEVEL: 4
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
-      - uses: actions/setup-python@v5
+      - uses: actions/setup-python@v6
 
       - name: ccache
         uses: hendrikmuhs/ccache-action@v1

diff --git a/.github/workflows/ci-p4tools.yml b/.github/workflows/ci-p4tools.yml
@@ -24,7 +24,7 @@ jobs:
       ENABLE_TEST_TOOLS: ON
       BUILD_GENERATOR: Ninja
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
 

diff --git a/.github/workflows/ci-ptf.yml b/.github/workflows/ci-ptf.yml
@@ -38,7 +38,7 @@ jobs:
       INSTALL_PTF_EBPF_DEPENDENCIES: ON
       BUILD_GENERATOR: Ninja
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
 

diff --git a/.github/workflows/ci-release.yml b/.github/workflows/ci-release.yml
@@ -19,7 +19,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
         with:
           fetch-depth: 0
 

diff --git a/.github/workflows/ci-static-build-test.yml b/.github/workflows/ci-static-build-test.yml
@@ -35,7 +35,7 @@ jobs:
       ENABLE_TEST_TOOLS: ON
       BUILD_GENERATOR: Ninja
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
 

diff --git a/.github/workflows/ci-test-debian.yml b/.github/workflows/ci-test-debian.yml
@@ -23,7 +23,7 @@ jobs:
       IMAGE_TYPE: test
       BUILD_GENERATOR: Ninja
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
           fetch-depth: 0
@@ -64,7 +64,7 @@ jobs:
       CMAKE_UNITY_BUILD: ${{ matrix.unity }}
       BUILD_GENERATOR: Ninja
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
           fetch-depth: 0
@@ -104,7 +104,7 @@ jobs:
       ENABLE_P4TEST: OFF
       ENABLE_P4C_GRAPHS: OFF
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
           fetch-depth: 0

diff --git a/.github/workflows/ci-test-fedora.yml b/.github/workflows/ci-test-fedora.yml
@@ -30,7 +30,7 @@ jobs:
       - name: Install git
         run: dnf install -y -q git
 
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
 

diff --git a/.github/workflows/ci-test-mac.yml b/.github/workflows/ci-test-mac.yml
@@ -14,60 +14,13 @@ concurrency:
   cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
 
 jobs:
-  # Build and test p4c on MacOS for M1 Macs.
-  test-mac-os-m1:
-    runs-on: macos-14
-    env:
-      CTEST_PARALLEL_LEVEL: 4
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          submodules: recursive
-
-      - name: ccache
-        uses: hendrikmuhs/ccache-action@v1
-        with:
-          key: test-${{ runner.os }}
-          max-size: 1000M
-
-      - name: Get brew cache dir
-        id: brew-cache
-        run: |
-          echo "dir=$(brew --prefix)" >> $GITHUB_OUTPUT
-
-      - name: Cache Homebrew Packages
-        id: cache-homebrew-packages
-        uses: actions/cache@v4
-        env:
-          cache-name: homebrew-packages
-        with:
-          path: ${{ steps.brew-cache.outputs.dir }}
-          key: ${{ runner.os }}-m1-${{ hashFiles('tools/install_mac_deps.sh') }}
-
-      - name: Install dependencies (MacOS)
-        run: |
-          tools/install_mac_deps.sh
-
-      - name: Build (MacOS)
-        run: |
-          source ~/.bash_profile
-          ./bootstrap.sh -DENABLE_GC=ON -DCMAKE_BUILD_TYPE=Release \
-              -DCMAKE_UNITY_BUILD=ON -DENABLE_TEST_TOOLS=ON -DENABLE_WERROR=ON --build-generator "Ninja"
-          cmake --build build -- -j $(nproc)
-
-      - name: Run tests (MacOS)
-        run: |
-          source ~/.bash_profile
-          uv run ctest --output-on-failure --schedule-random -E "ubpf|testgen|smith"
-        working-directory: ./build
-
-  # Build and test p4c on MacOS 13 on x86.
+  # Build and test p4c on latest MacOS
   test-mac-os:
-    runs-on: macos-13
+    runs-on: macos-latest
     env:
       CTEST_PARALLEL_LEVEL: 4
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
 
@@ -82,14 +35,18 @@ jobs:
         run: |
           echo "dir=$(brew --prefix)" >> $GITHUB_OUTPUT
 
-      - name: Cache Homebrew Packages
-        id: cache-homebrew-packages
-        uses: actions/cache@v4
-        env:
-          cache-name: homebrew-packages
-        with:
-          path: ${{ steps.brew-cache.outputs.dir }}
-          key: ${{ runner.os }}-${{ hashFiles('tools/install_mac_deps.sh') }}
+      # TODO: remove next line after working again
+      #  temporarily work around https://github.com/actions/runner-images/issues/13341
+      #  by disabling caching for macOS
+      # - name: Cache Homebrew Packages
+      #   id: cache-homebrew-packages
+      #   uses: actions/cache@v4
+      #   env:
+      #     cache-name: homebrew-packages
+      #   with:
+      #     path: ${{ steps.brew-cache.outputs.dir }}
+      #     key: ${{ runner.os }}-${{ hashFiles('tools/install_mac_deps.sh') }}
+
 
       - name: Install dependencies (MacOS)
         run: |

diff --git a/.github/workflows/ci-ubuntu-24-sanitizer-nightly.yml b/.github/workflows/ci-ubuntu-24-sanitizer-nightly.yml
@@ -29,7 +29,7 @@ jobs:
       UBSAN_OPTIONS: print_stacktrace=1
       ASAN_OPTIONS: print_stacktrace=1:detect_leaks=0
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
 

diff --git a/.github/workflows/ci-ubuntu-p4tc-stf.yml b/.github/workflows/ci-ubuntu-p4tc-stf.yml
@@ -23,20 +23,18 @@ jobs:
     env:
       CTEST_PARALLEL_LEVEL: 4
       IMAGE_TYPE: test
-      ENABLE_GTESTS: ${{ matrix.gtest }}
-      CMAKE_UNITY_BUILD: ${{ matrix.unity }}
       BUILD_GENERATOR: Ninja
       INSTALL_STF_P4TC_DEPENDENCIES: ON
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive
           fetch-depth: 0
 
       - name: ccache
         uses: hendrikmuhs/ccache-action@v1
         with:
-          key: test-${{ matrix.unity }}-${{ runner.os }}-gcc
+          key: test-${{ runner.os }}-gcc
           max-size: 1000M
 
       - name: Build (Ubuntu 24.04, GCC)

diff --git a/.github/workflows/ci-validation-nightly.yml b/.github/workflows/ci-validation-nightly.yml
@@ -27,7 +27,7 @@ jobs:
       VALIDATION: ON
     runs-on: ubuntu-22.04
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: recursive