ci: fix typo

Signed-off-by: Edoardo Vacchi <[email protected]>
dylibso · Jan 28, 2025 · 762b1b7 · 762b1b7
1 parent f85e36f
commit 762b1b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -41,7 +41,7 @@ jobs:
           gpg --list-secret-keys --keyid-format LONG
 
       - name: Compile
-        run: --batch-mode --no-transfer-progress -Drelease
+        run: mvn --batch-mode --no-transfer-progress -Drelease verify
 
       - name: Setup Git
         run: |