Fix file name

WebAssembly · Mar 22, 2023 · 9234d5a · 9234d5a
1 parent 70b4a9b
commit 9234d5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/howto.md b/howto.md
@@ -134,7 +134,7 @@ Every proposal repository is supposed to be a fork of the main `spec` repo. Unfo
 
 6. Turn off running tests with node.js in CI:
 
-   1. Edit `.github/workflows/main.yml`, changine the line saying
+   1. Edit `.github/workflows/ci-interpreter.yml`, changing the line saying
       ```
       - run: cd interpreter && opam exec make JS=node all
       ```