Merge branch 'master' into _update-deps/runtimeverification/evm-seman…

…tics
runtimeverification · Jan 27, 2025 · 86bc558 · 86bc558
2 parents 2b1e8cd + 2d74ed4
commit 86bc558
Showing 1 changed file with 15 additions and 6 deletions.
diff --git a/.github/workflows/kontrol-push-unfixed-deps.yml b/.github/workflows/kontrol-push-unfixed-deps.yml
@@ -3,22 +3,28 @@ name: 'Push Kontrol w/ Dependencies'
 on:
   workflow_dispatch:
     inputs:
+      kontrol-version: 
+        description: 'Branch/Tag to use for Kontrol'
+        required: false
+        default: ''
       kevm-version: 
-        description: 'Branch/Tag to use for KEVM'
+        description: 'SHA to use for KEVM'
         required: false
         default: ''
       k-version: 
-        description: 'Branch/Tag to use for K'
+        description: 'SHA to use for K'
         required: false
         default: ''
       llvm-version: 
-        description: 'Branch/Tag to use for LLVM Backend'
+        description: 'SHA to use for LLVM Backend'
         required: false
         default: ''
       haskell-version: 
-        description: 'Branch/Tag to use for Haskell Backend'
+        description: 'SHA to use for Haskell Backend'
         required: false
         default: ''
+permissions:
+  packages: write
 
 jobs:
   build-kontrol:
@@ -34,7 +40,10 @@ jobs:
         shell: bash
         run: |
           set -o pipefail
-          docker run --rm -it --detach --name kontrol-build-with-kup-${{ github.run_id }} ghcr.io/runtimeverification/kup:latest
+          docker run --env GH_TOKEN=${{ secrets.GITHUB_TOKEN }} --rm -it --detach --name kontrol-build-with-kup-${{ github.run_id }} ghcr.io/runtimeverification/kup:latest
+          if [ -n "${{ inputs.kontrol-version }}" ]; then
+              KONTROL_OVERRIDE="--version ${{ inputs.kontrol-version }}"
+          fi
           if [ -n "${{ inputs.kevm-version }}" ]; then
               KEVM_OVERRIDE="--override kevm ${{ inputs.kevm-version }}"
           fi
@@ -47,7 +56,7 @@ jobs:
           if [ -n "${{ inputs.haskell-version }}" ]; then
               HASKELL_OVERRIDE="--override kevm/k-framework/haskell-backend ${{ inputs.haskell-version }}"
           fi
-          docker exec kontrol-build-with-kup-${{ github.run_id }} /bin/bash -c "kup install kontrol ${KEVM_OVERRIDE} ${K_OVERRIDE} ${LLVM_OVERRIDE} ${HASKELL_OVERRIDE}"
+          docker exec kontrol-build-with-kup-${{ github.run_id }} /bin/bash -c "kup install kontrol ${KONTROL_OVERRIDE} ${KEVM_OVERRIDE} ${K_OVERRIDE} ${LLVM_OVERRIDE} ${HASKELL_OVERRIDE}"
           docker exec kontrol-build-with-kup-${{ github.run_id }} /bin/bash -c "kup list kontrol --inputs" >> versions.out
           docker commit kontrol-build-with-kup-${{ github.run_id }} ghcr.io/runtimeverification/kontrol-custom:${{ github.run_id }}
           docker push ghcr.io/runtimeverification/kontrol-custom:${{ github.run_id }}