diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cccaf3e7f7..6df388f946 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -511,7 +511,6 @@ jobs: if: steps.diffcheck.outputs.clean == 'false' run: | npm ci - npx rescript npm run build - name: Commit and push