diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 066dfa0ae..940ef092c 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -2,8 +2,8 @@ name: Release on: push: - branches: - - 'v*.*.x' + # branches: + # - 'v*.*.x' env: OCAML_DEFAULT_VERSION: 5.0.0