Merge pull request #395 from MSoegtropIMC/ci-fix-snap-pick

CI: fix package pick for snap
coq · Jan 26, 2024 · f4335fc · f4335fc
2 parents d0eb086 + 18dc9ae
commit f4335fc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -28,7 +28,7 @@ on:
         default: '-extent=x -parallel=p -jobs=2 -large=i -compcert=y -unimath=n -set-switch=y'
       snap_pick:
         description: 'Package pick for the snap package:'
-        default: 8.17~2023.08
+        default: 8.18~2023.11
       upload:
         description: 'Upload artifact to Snap Store? (true/false, default false)'
         default: false
@@ -39,7 +39,7 @@ on:
 env:
   PLATFORM: -extent=x -parallel=p -jobs=2 -large=i -compcert=y -unimath=n -set-switch=y
   COQREGTESTING: y
-  SNAP_PICK: 8.17~2023.08
+  SNAP_PICK: 8.18~2023.11
 
 
 ###############################################################################