run-examples.yml

name: Run Examples 
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-nix-dev:latest
      credentials:
        username: ${{ github.actor }}
        password: ${{ secrets.github_token }}
    steps:
      - name: Checkout
        uses: actions/checkout@v4

      - name: Compile BASIL 
        run: mill compile >> "$GITHUB_OUTPUT"

      - name: Bitvec Tests
        run: mill test.testOnly BitVectorAnalysisTests >> "$GITHUB_OUTPUT"

      - name: IntrusiveListTest
        run: mill test.testOnly SystemTests IntrusiveListPublicInterfaceTests >> "$GITHUB_OUTPUT"

      - name: System Tests
        run: 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 >> "$GITHUB_OUTPUT"