Move build-and-test onto a public runner

.github/actions/with-docker/Dockerfile.fuzz

@@ -1,5 +1,5 @@
 ARG K_VERSION=7.1.241
-ARG RUST_TOOLCHAIN=1.85.0
+ARG RUST_TOOLCHAIN
 
 FROM runtimeverificationinc/kframework-k:ubuntu-jammy-${K_VERSION} AS semantics
 

.github/actions/with-docker/action.yml

@@ -21,9 +21,12 @@ runs:
       TAG=runtimeverificationinc/${CONTAINER_NAME}
       DOCKERFILE=${{ github.action_path }}/${{ inputs.dockerfile }}
 
+      RUST_TOOLCHAIN="$(grep -oP '(?<=channel = ").*(?=")' rust-toolchain.toml)"
+
       docker build .         \
         --file ${DOCKERFILE} \
-        --tag ${TAG}
+        --tag ${TAG}         \
+        --build-arg RUST_TOOLCHAIN="${RUST_TOOLCHAIN}"
 
   - name: 'Run Docker container'
     shell: bash {0}

.github/workflows/test-pr.yml

@@ -8,21 +8,12 @@ concurrency:
 jobs:
   build-and-test:
     name: 'Build and Test Project'
-    runs-on: [self-hosted, linux, normal]
+    runs-on: ubuntu-latest
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
-      - name: 'Set up Docker'
-        uses: ./.github/actions/with-docker
-        with:
-          container-name: kframework-rs-${{ github.sha }}
-          dockerfile: Dockerfile
       - name: 'Build and test'
-        run: docker exec -u user kframework-rs-${GITHUB_SHA} make
-      - name: 'Tear down Docker'
-        if: always()
-        run: |
-          docker stop --time=0 kframework-rs-${GITHUB_SHA}
+        run: make
 
   build-ffi-and-fuzz:
     name: 'Build with the FFI and run the fuzzing example'
@@ -37,13 +28,18 @@ jobs:
           dockerfile: Dockerfile.fuzz
       - name: 'Build and test'
         run: |
+          set -euxo pipefail
+
           export HFUZZ_RUN_ARGS="--verbose --logfile log.txt --run_time 60"
+
           docker exec                                \
             --env HFUZZ_RUN_ARGS="${HFUZZ_RUN_ARGS}" \
             --workdir /home/user/examples/fuzzer     \
             kframework-rs-fuzz-${GITHUB_SHA}         \
             cargo hfuzz run fuzzer
+
           echo "Final lines of hfuzz output:"
+
           docker exec                                \
             --env HFUZZ_RUN_ARGS="${HFUZZ_RUN_ARGS}" \
             --workdir /home/user/examples/fuzzer     \

rust-toolchain.toml

@@ -0,0 +1,3 @@
+[toolchain]
+channel = "1.95.0"
+components = ["clippy", "rustfmt"]