Update wasi target name.

sunfishcode · sunfishcode · commit 67d77e8e60c4 · 2024-12-03T17:27:39.000-08:00
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -178,5 +178,5 @@ jobs:
         toolchain: ${{ matrix.rust }}
     - run: >
         rustup target add
-        wasm32-wasi
-    - run: cargo check --workspace --release -vv --target=wasm32-wasi
+        wasm32-wasip1
+    - run: cargo check --workspace --release -vv --target=wasm32-wasip1
