Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enable Setting Specific Kontrol version to build with #944

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
+15 −6
Open

Enable Setting Specific Kontrol version to build with #944

Changes from 3 commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
af2aed4
modified: .github/workflows/kontrol-push-unfixed-deps.yml
F-WRunTime Jan 24, 2025
08f1a3f
Move to using an input to specify kontrol version instead of workflow…
F-WRunTime Jan 24, 2025
d74f959
enable package permissions write for workflow
F-WRunTime Jan 24, 2025
1fd34c9
Use the github token with kup to avoid hitting API limit issues
F-WRunTime Jan 24, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 15 additions & 5 deletions .github/workflows/kontrol-push-unfixed-deps.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,22 +3,29 @@ 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:
contents: read
packages: write

jobs:
build-kontrol:
Expand All @@ -35,6 +42,9 @@ jobs:
run: |
set -o pipefail
docker run --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
Expand All @@ -47,7 +57,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 }}
Expand Down
Loading