Test the workflow on this PR

Halbaroth · Oct 30, 2023 · b8ddb3a · b8ddb3a
1 parent 33a09ff
commit b8ddb3a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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