Update dependency: deps/kmir_release #190
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: 'Test' | |
| on: | |
| pull_request: | |
| workflow_dispatch: | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| version-bump: | |
| name: 'Version Bump' | |
| runs-on: 'ubuntu-latest' | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| token: ${{ secrets.JENKINS_GITHUB_PAT }} | |
| fetch-depth: 0 | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| - name: 'Configure GitHub user' | |
| run: | | |
| git config user.name devops | |
| git config user.email [email protected] | |
| - name: 'Install uv' | |
| uses: astral-sh/setup-uv@v5 | |
| with: | |
| version: 0.7.2 | |
| - name: 'Update version' | |
| run: | | |
| og_version=$(git show origin/${GITHUB_BASE_REF}:package/version) | |
| ./package/version.sh bump ${og_version} | |
| ./package/version.sh sub | |
| new_version=$(cat package/version) | |
| uv lock --no-upgrade | |
| git add --update && git commit --message "Set Version: $(cat package/version)" || true | |
| - name: 'Push updates' | |
| run: git push origin HEAD:${GITHUB_HEAD_REF} | |
| code-quality-checks: | |
| needs: version-bump | |
| name: 'Code Quality Checks' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: 'Check out code' | |
| uses: actions/checkout@v4 | |
| - name: 'Install uv' | |
| uses: astral-sh/setup-uv@v5 | |
| with: | |
| version: 0.7.2 | |
| - name: 'Run code quality checks' | |
| run: make check | |
| unit-tests: | |
| needs: code-quality-checks | |
| name: 'Unit Tests' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: 'Check out code' | |
| uses: actions/checkout@v4 | |
| - name: 'Install uv' | |
| uses: astral-sh/setup-uv@v5 | |
| with: | |
| version: 0.7.2 | |
| - name: 'Run unit tests' | |
| run: make test-unit | |
| integration-tests: | |
| needs: code-quality-checks | |
| name: 'Integration Tests' | |
| runs-on: [self-hosted, linux, normal] | |
| env: | |
| USER: kmir | |
| steps: | |
| - name: 'Check out code' | |
| uses: actions/checkout@v4 | |
| with: | |
| token: ${{ secrets.JENKINS_GITHUB_PAT }} | |
| submodules: recursive | |
| - name: 'Set up Docker' | |
| uses: ./.github/actions/with-docker | |
| with: | |
| container-name: kompass-ci-${{ github.sha }} | |
| container-user: kmir | |
| - name: 'Build Kompass' | |
| run: docker exec --user ${USER} kompass-ci-${GITHUB_SHA} make build | |
| - name: 'Run integration tests' | |
| run: | | |
| docker exec --user ${USER} kompass-ci-${GITHUB_SHA} which stable-mir-json | |
| docker exec --user ${USER} kompass-ci-${GITHUB_SHA} stable-mir-json --version | |
| docker exec --user ${USER} kompass-ci-${GITHUB_SHA} bash -c 'rustup default $(rustup toolchain list)' | |
| docker exec --user ${USER} kompass-ci-${GITHUB_SHA} make test-integration | |
| - name: 'Tear down Docker' | |
| if: always() | |
| run: docker stop --time 0 kompass-ci-${GITHUB_SHA} | |
| build-kompass-image: | |
| name: Build Kompass Image | |
| needs: [ integration-tests ] | |
| runs-on: ubuntu-latest | |
| env: | |
| container_name: "kompass-${{ github.run_id }}" | |
| outputs: | |
| image-name: ${{ steps.set-image-name.outputs.image-name }} | |
| kompass-version: ${{ steps.set-image-name.outputs.kompass-version }} | |
| kmir-version: ${{ steps.set-image-name.outputs.kmir-version }} | |
| short-sha: ${{ steps.set-image-name.outputs.short-sha }} | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Setup Docker Buildx | |
| uses: docker/[email protected] | |
| - name: Set Image Name Parameters | |
| id: set-image-name | |
| run: | | |
| echo "image-name=ghcr.io/runtimeverification/kompass" >> $GITHUB_OUTPUT | |
| echo "kmir-version=$(cat deps/kmir_release)" >> $GITHUB_OUTPUT | |
| echo "kompass-version=$(cat package/version)" >> $GITHUB_OUTPUT | |
| echo "short-sha=$(git rev-parse --short HEAD)" >> $GITHUB_OUTPUT | |
| - name: Build Kmir Container | |
| uses: docker/build-push-action@v6 | |
| with: | |
| context: . | |
| file: Dockerfile | |
| platforms: linux/amd64 | |
| push: false | |
| load: true | |
| build-args: | | |
| KMIR_VERSION=${{ steps.set-image-name.outputs.kmir-version }} | |
| tags: ${{ steps.set-image-name.outputs.image-name }}:ubuntu-jammy-${{ steps.set-image-name.outputs.kompass-version }}-${{ steps.set-image-name.outputs.short-sha }} |