From 57bcdab03e136bbd90c78990f520e8a21982ea43 Mon Sep 17 00:00:00 2001 From: tsnobip Date: Thu, 26 Jun 2025 17:03:51 +0200 Subject: [PATCH] remove redundant line in api-docs job rescript is already run in build command --- .github/workflows/ci.yml | 1 - 1 file changed, 1 deletion(-) 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