Update dependency: deps/k_release #530
This file contains 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: [self-hosted, linux, flyweight] | |
| steps: | |
| - name: 'Check out code' | |
| 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 devops@runtimeverification.com | |
| - 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) | |
| git add --update && git commit --message "Set Version: ${new_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: [self-hosted, linux, flyweight] | |
| steps: | |
| - name: 'Check out code' | |
| uses: actions/checkout@v4 | |
| - name: 'Run code quality checks' | |
| run: make check | |
| - name: 'Run pyupgrade' | |
| run: make pyupgrade | |
| build-and-test: | |
| needs: code-quality-checks | |
| name: 'Build and Test' | |
| runs-on: [self-hosted, linux, normal] | |
| env: | |
| CONTAINER: riscv-integration-${{ github.sha }} | |
| steps: | |
| - name: 'Check out code' | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| submodules: recursive | |
| - name: 'Set up Docker' | |
| uses: ./.github/actions/with-docker | |
| with: | |
| container-name: ${CONTAINER} | |
| - name: 'Build kriscv' | |
| run: docker exec --user user ${CONTAINER} poetry install | |
| - name: 'Build semantics' | |
| run: docker exec --user user ${CONTAINER} make kdist-build | |
| - name: 'Run unit tests' | |
| run: docker exec --user user ${CONTAINER} make test-unit | |
| - name: 'Run integration tests' | |
| run: docker exec --user user ${CONTAINER} make test-integration | |
| - name: 'Run architectural tests' | |
| run: docker exec --user user ${CONTAINER} make test-architectural | |
| - name: 'Tear down Docker' | |
| if: always() | |
| run: docker stop --time=0 ${CONTAINER} |