diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml index 920dbb6..e2092ba 100644 --- a/.github/workflows/build_and_test.yml +++ b/.github/workflows/build_and_test.yml @@ -89,4 +89,4 @@ jobs: # run the passtool for the highest-level language: - name: "Check the grammar" - run: bin/passtool passes lang0 + run: bin/passtool passes lang1