fix release ci

LPCIC · Jan 15, 2025 · 48cddc4 · 48cddc4
1 parent fadfd68
commit 48cddc4
Showing 1 changed file with 5 additions and 10 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -9,16 +9,11 @@ on:
     tags: [ "v*.*.*" ]
   workflow_dispatch:
     inputs:
-      release:
-        description: "Force GH release"
-        required: true
-        default: false
-        type: bool
       opam:
         description: "Force OPAM release"
         required: true
         default: false
-        type: bool
+        type: boolean
       suite:
         description: "OPAM suite"
         required: true
@@ -35,13 +30,10 @@ jobs:
 
   release:
     runs-on: ubuntu-latest
-    if: startsWith(github.ref, 'refs/tags/') || inputs.release
+    if: startsWith(github.ref, 'refs/tags/')
     steps:
       - name: Checkout
         uses: actions/checkout@v3
-        with:
-          fetch-depth: '100'
-          fetch-tags: 'true'
 
       - name: Inject slug/short variables
         uses: rlespinasse/github-slug-action@v4
@@ -66,6 +58,9 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v3
+        with:
+          fetch-depth: '100'
+          fetch-tags: 'true'
 
       - name: Use OCaml 4.14.x
         uses: avsm/setup-ocaml@v3