Attempt to fix git workflow

Author: wingo

.github/workflows/compile-tests.yml

@@ -47,22 +47,13 @@ jobs:
       - name: Check out repository code
         uses: actions/checkout@v3
 
-      - name: Install wasm32-wasip1 target for Rust
+      - name: Install wasm32-{wasip1,wasip3} targets for Rust
         uses: actions-rust-lang/setup-rust-toolchain@v1
         with:
-          toolchain: stable
+          toolchain: nightly, stable
           target: wasm32-wasip1
-
-      - name: Install wasm32-wasip2 target for Rust
-        uses: actions-rust-lang/setup-rust-toolchain@v1
-        with:
-          toolchain: nightly
           target: wasm32-wasip2
 
-      - name: Set default Rust toolchain to stable
-        run: |
-          rustup default stable
-
       - name: Build tests
         working-directory: tests/rust
         run: |