[ci] opam options

Author: rossberg

.github/workflows/w3c-publish.yml

@@ -70,7 +70,7 @@ jobs:
         run: cd spectec && opam exec make
       - name: Publish ${{ matrix.spec }} spec to its https://www.w3.org/TR/ URL
         if: env.W3C_ECHIDNA_TOKEN_CORE
-        run: cd document && opam exec make -e -C ${{ matrix.spec }} WD-echidna-CI
+        run: cd document/${{ matrix.spec }} && opam exec make WD-echidna-CI
         env:
           W3C_ECHIDNA_TOKEN_CORE: ${{ secrets.W3C_ECHIDNA_TOKEN_CORE }}
           W3C_ECHIDNA_TOKEN_JSAPI: ${{ secrets.W3C_ECHIDNA_TOKEN_JSAPI }}
@@ -81,7 +81,7 @@ jobs:
                   (github.event_name == 'push' && github.repository == 'WebAssembly/spec' && github.ref == 'refs/heads/main')) }}
       - name: Validate ${{ matrix.spec }} spec with Echidna
         if: env.W3C_USERNAME
-        run: cd document && make -e -C ${{ matrix.spec }} WD-echidna
+        run: cd document/${{ matrix.spec }} && opam exec make WD-echidna
         env:
           W3C_USERNAME: ${{ secrets.W3C_USERNAME }}
           W3C_PASSWORD: ${{ secrets.W3C_PASSWORD }}