CI updates.

p4gauntlet · Aug 6, 2024 · 5e54680 · 5e54680
1 parent 4ee2761
commit 5e54680
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 3 deletions.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -0,0 +1,13 @@
+# Please see the documentation for all configuration options:
+# https://docs.github.com/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file
+
+version: 2
+updates:
+  - package-ecosystem: "github-actions" # See documentation for possible values
+    directory: "/" # Location of package manifests
+    schedule:
+      interval: "weekly"
+    open-pull-requests-limit: 5
+    # Specify labels for github-actions pull requests
+    labels:
+      - "infrastructure"
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -9,7 +9,7 @@ on:
     branches: [ master ]
 jobs:
   build:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     steps:
     - uses: actions/checkout@v1
     - name: ccache
@@ -38,7 +38,9 @@ jobs:
         -DENABLE_UBPF=OFF \
         -DENABLE_GTESTS=OFF \
         -DENABLE_P4TC=OFF \
+        -DENABLE_P4FMT=OFF \
         -DENABLE_P4C_GRAPHS=OFF \
+        -DCMAKE_UNITY_BUILD=ON \
         -DENABLE_GAUNTLET_PRUNER=ON
     - name: Install P4C with toz3
       run: |

diff --git a/.github/workflows/test_pruner.yml b/.github/workflows/test_pruner.yml
@@ -10,7 +10,7 @@ on:
 
 jobs:
   test-pruner:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     steps:
     - uses: actions/checkout@v1
     - name: ccache
@@ -39,7 +39,9 @@ jobs:
         -DENABLE_UBPF=OFF \
         -DENABLE_GTESTS=OFF \
         -DENABLE_P4TC=OFF \
+        -DENABLE_P4FMT=OFF \
         -DENABLE_P4C_GRAPHS=OFF \
+        -DCMAKE_UNITY_BUILD=ON \
         -DENABLE_GAUNTLET_PRUNER=ON
     - name: Install P4C with toz3
       run: |

diff --git a/.github/workflows/test_validate.yml b/.github/workflows/test_validate.yml
@@ -10,7 +10,7 @@ on:
 
 jobs:
   test-validate:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     steps:
     - uses: actions/checkout@v1
     - name: ccache
@@ -39,7 +39,9 @@ jobs:
         -DENABLE_UBPF=OFF \
         -DENABLE_GTESTS=OFF \
         -DENABLE_P4TC=OFF \
+        -DENABLE_P4FMT=OFF \
         -DENABLE_P4C_GRAPHS=OFF \
+        -DCMAKE_UNITY_BUILD=ON \
         -DENABLE_GAUNTLET_PRUNER=ON
     - name: Install P4C with toz3
       run: |