Remove web check

.github/workflows/ci.yaml

@@ -109,32 +109,32 @@ jobs:
               run: cargo test --locked --workspace --all-targets --profile ci --no-fail-fast
 
     # Check that the web build compiles.
-    check-web:
+    # check-web:
-        name: Check web
+    #     name: Check web
-        runs-on: ubuntu-latest
+    #     runs-on: ubuntu-latest
-        env:
+    #     env:
-            RUSTFLAGS: -Zshare-generics=y -Zthreads=0 --cfg getrandom_backend="wasm_js"
+    #         RUSTFLAGS: -Zshare-generics=y -Zthreads=0 --cfg getrandom_backend="wasm_js"
-        timeout-minutes: 20
+    #     timeout-minutes: 20
-        steps:
+    #     steps:
-            - name: Checkout repository
+    #         - name: Checkout repository
-              uses: actions/checkout@v4
+    #           uses: actions/checkout@v4
 
-            - name: Install Rust toolchain
+    #         - name: Install Rust toolchain
-              uses: dtolnay/rust-toolchain@master
+    #           uses: dtolnay/rust-toolchain@master
-              with:
+    #           with:
-                  toolchain: ${{ env.toolchain }}
+    #               toolchain: ${{ env.toolchain }}
-                  targets: wasm32-unknown-unknown
+    #               targets: wasm32-unknown-unknown
 
-            - name: Restore Rust cache
+    #         - name: Restore Rust cache
-              id: cache
+    #           id: cache
-              uses: Swatinem/rust-cache@v2
+    #           uses: Swatinem/rust-cache@v2
-              with:
+    #           with:
-                  shared-key: web-ci
+    #               shared-key: web-ci
-                  save-if: ${{ github.ref == 'refs/heads/main' }}
+    #               save-if: ${{ github.ref == 'refs/heads/main' }}
 
-            - name: Install build dependencies
+    #         - name: Install build dependencies
-              if: steps.cache.outputs.cache-hit != 'true'
+    #           if: steps.cache.outputs.cache-hit != 'true'
-              run: sudo apt-get update; sudo apt-get install --no-install-recommends libasound2-dev libudev-dev libwayland-dev
+    #           run: sudo apt-get update; sudo apt-get install --no-install-recommends libasound2-dev libudev-dev libwayland-dev
 
-            - name: Check web
+    #         - name: Check web
-              run: cargo check --config 'profile.web.inherits="dev"' --profile ci --no-default-features --features "dev web" --target wasm32-unknown-unknown
+    #           run: cargo check --config 'profile.web.inherits="dev"' --profile ci --no-default-features --features "dev web" --target wasm32-unknown-unknown