diff --git a/.github/workflows/run-examples.yml b/.github/workflows/run-examples.yml index 04d16aef2..df1c7be95 100644 --- a/.github/workflows/run-examples.yml +++ b/.github/workflows/run-examples.yml @@ -28,11 +28,7 @@ jobs: run: ./scripts/mill test.testOnly BitVectorAnalysisTests - name: IntrusiveListTest - run: ./scripts/mill test.testOnly SystemTests IntrusiveListPublicInterfaceTests + run: ./scripts/mill test.testOnly IntrusiveListPublicInterfaceTests - name: System Tests run: ./scripts/mill test.testOnly *SystemTests -- -z basic_assign_increment/gcc_no_plt_no_pic -z basic_assign_increment/clang_no_plt_no_pic -z secret_write/gcc_no_plt_no_pic - - - - diff --git a/.github/workflows/run-systemtests.yml b/.github/workflows/run-systemtests.yml new file mode 100644 index 000000000..6c48ebe80 --- /dev/null +++ b/.github/workflows/run-systemtests.yml @@ -0,0 +1,25 @@ +name: System Tests +on: + push: + branches: + - main + pull_request: + branches: + - main + workflow_dispatch: +jobs: + test: + runs-on: ubuntu-latest + timeout-minutes: 10 + container: + # Requires repo to have action access in package settings + image: ghcr.io/uq-pac/basil-dev:latest + credentials: + username: ${{ github.actor }} + password: ${{ secrets.github_token }} + steps: + - name: Checkout + uses: actions/checkout@v4 + + - name: System Tests + run: ./scripts/mill test.testOnly SystemTests && cat src/test/summary.csv >> "$GITHUB_OUTPUT" && echo "" >> "$GITHUB_OUTPUT" && src/test/testResults.csv >> "$GITHUB_OUTPUT"