ci: run without docker, using pinned z3 and boogie

z3 and boogie versions are simply the latest in nuget and ubuntu-22.04
at commit time.

.github/workflows/run-examples.yml

@@ -31,28 +31,44 @@ jobs:
 
   SystemTests:
     runs-on: ubuntu-latest
-    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 }}
+    # 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
 
+      - uses: actions/setup-java@v4
+        with:
+          distribution: 'temurin'
+          java-version: '17'
+
+      - uses: actions/setup-dotnet@v4
+        with:
+          dotnet-version: '6.0.x'
+
+      - run: sudo apt-get update
+      - run: sudo apt-get install -y z3='4.8.12-*'
+      - run: dotnet tool install --global boogie --version '3.4.3'
+
       - run: make extract
         working-directory: src/test
 
       - name: System Tests
         run: ./mill test.testOnly 'SystemTests*'
+
       - uses: actions/upload-artifact@v4
+        if: always()
         with:
           name: testresult-${{ github.run_number }}
           path: |
             src/test/*.csv
             src/test/*.svg
-      - run: |
+      - if: always()
+        run: |
           pushd src/test
           tail -n+1 summary-*.csv
           pasted="$(paste headers.md.part summary-*.md.part)"