From 6bdd7ea94676deced0d62a68823fe12d3c3c9dab Mon Sep 17 00:00:00 2001 From: Jost Berthold Date: Wed, 28 Aug 2024 13:32:38 +1000 Subject: [PATCH] Add CI job to test integration with smir_pretty --- .github/workflows/test.yml | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 8c7ac1f4f..ee0c76dd0 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -76,3 +76,29 @@ jobs: - name: 'Tear down Docker' if: always() run: docker stop --time 0 mir-semantics-ci-${GITHUB_SHA} + + smir-integration-tests: + needs: code-quality-checks + name: "Integration with smir_pretty" + runs-on: [self-hosted, linux, normal] + 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: mir-semantics-ci-smir-${{ github.sha }} + - name: 'Build kmir' + run: docker exec --user user mir-semantics-ci-${GITHUB_SHA} make build + - name: 'Set up and build rust dependency of smir_pretty' + run: docker exec --user user mir-semantics-ci-${GITHUB_SHA} make smir-pretty-setup + - name: 'Build smir_pretty' + run: docker exec --user user mir-semantics-ci-${GITHUB_SHA} make smir-pretty + - name: 'Run parser tests' + run: docker exec --user user mir-semantics-ci-${GITHUB_SHA} make smir-parse-test + - name: 'Tear down Docker' + if: always() + run: docker stop --time 0 mir-semantics-ci-${GITHUB_SHA}