Update gobra.yml

viperproject · Jul 22, 2024 · dca9336 · dca9336
1 parent 3632c92
commit dca9336
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml
@@ -19,6 +19,7 @@ env:
   imageVersion: 'latest'
   mceMode: 'off'
   requireTriggers: '1'
+  viperBackend: SILICON
 
 jobs:
   verify-pkgs:
@@ -39,3 +40,4 @@ jobs:
           imageVersion: ${{ env.imageVersion }}
           mceMode: ${{ env.mceMode }}
           requireTriggers: ${{ env.requireTriggers }}
+          viperBackend: ${{ env.viperBackend }}