Remove some zkVMs

.github/scripts/fetch-zkvm-version.sh

@@ -5,9 +5,7 @@ set -e -o pipefail
 # Usage: ./fetch-zkvm-version.sh <zkvm> <crate>
 # Examples:
 #   .github/scripts/fetch-zkvm-version.sh airbender execution_utils
-#   .github/scripts/fetch-zkvm-version.sh jolt jolt-sdk
 #   .github/scripts/fetch-zkvm-version.sh openvm openvm-sdk
-#   .github/scripts/fetch-zkvm-version.sh pico pico-vm
 #   .github/scripts/fetch-zkvm-version.sh risc0 risc0-zkvm
 #   .github/scripts/fetch-zkvm-version.sh sp1 sp1-sdk
 #   .github/scripts/fetch-zkvm-version.sh zisk ziskos

.github/workflows/build-and-push-images.yml

@@ -35,9 +35,7 @@ jobs:
       matrix:
         zkvm:
           - airbender
-          - jolt
           - openvm
-          - pico
           - risc0
           - sp1
           - zisk

.github/workflows/check-zkvm-version.yml

@@ -19,13 +19,8 @@ jobs:
         include:
           - zkvm: airbender
             crate: execution_utils
-          # Skip jolt because we are using a specific revision instead of released tag
-          # - zkvm: jolt
-          #   crate: jolt-sdk
           - zkvm: openvm
             crate: openvm-sdk
-          - zkvm: pico
-            crate: pico-vm
           - zkvm: risc0
             crate: risc0-zkvm
           - zkvm: sp1

.github/workflows/push-semver-tag.yml

@@ -39,9 +39,7 @@ jobs:
       matrix:
         include:
           - { zkvm: airbender, cuda: true , cluster: false }
-          - { zkvm: jolt,      cuda: false, cluster: false }
           - { zkvm: openvm,    cuda: true , cluster: false }
-          - { zkvm: pico,      cuda: false, cluster: false }
           - { zkvm: risc0,     cuda: true , cluster: false }
           - { zkvm: sp1,       cuda: true , cluster: false }
           - { zkvm: zisk,      cuda: true , cluster: true  }