diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index a9097490..ba22ea9e 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -21,6 +21,7 @@ jobs: xs-opam: "." opam-pin: false dune-cache: true + allow-prerelease-opam: true - name: Collect licenses run: ./tools/print-licenses.sh > licenses.txt