wip

coq · Aug 7, 2023 · eb4a446 · eb4a446
1 parent 1d448eb
commit eb4a446
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/cd-opam.yml b/.github/workflows/cd-opam.yml
@@ -30,7 +30,7 @@ jobs:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}
 
     - name: Install dune-release
-      run: opma install dune-release
+      run: opam install dune-release
 
     - name: Set EXTRA_OPTIONS
       if: ${{ github.event.inputs.extra_options != '' }}