From 50f0a7665e0d9d5098614fce72e64ad2c12b0f45 Mon Sep 17 00:00:00 2001
From: Pierre Villemot <tiky.halbaroth@gmail.com>
Date: Tue, 19 Sep 2023 10:49:45 +0200
Subject: [PATCH] Replace make_release by the Release workflow

---
 .github/workflows/build.yml   | 24 ------------------------
 .github/workflows/release.yml |  7 ++++---
 2 files changed, 4 insertions(+), 27 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 70f236177..d583d93e3 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -79,27 +79,3 @@ jobs:
         uses: getsentry/action-git-diff-suggestions@main
         with:
           message: 'The following changes have been made after `make`:'
-
-  make_release:
-    name: Make package release
-    runs-on: ubuntu-latest
-
-    if: github.event_name == 'pull_request' || github.ref == 'refs/heads/main' || github.ref == 'refs/heads/next'
-
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v3
-        with:
-          persist-credentials: false
-
-      - name: Use OCaml ${{ env.OCAML_DEFAULT_VERSION }}
-        uses: ocaml/setup-ocaml@v2
-        with:
-          ocaml-compiler: ${{ env.OCAML_DEFAULT_VERSION }}
-          dune-cache: true
-
-      - name: Install dependencies
-        run: opam exec -- make deps
-
-      - name: Run make install
-        run: opam exec -- make install
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index ca59c3cb0..066dfa0ae 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -1,11 +1,12 @@
 name: Release
 
 on:
-  pull_request:
+  push:
     branches:
       - 'v*.*.x'
 
 env:
+  OCAML_DEFAULT_VERSION: 5.0.0
   OPAMYES: true
 
 jobs:
@@ -17,10 +18,10 @@ jobs:
         with:
           persist-credentials: false
 
-      - name: Use OCaml 5.0.0
+      - name: Use OCaml ${{ env.OCAML_DEFAULT_VERSION }}
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: 5.0.0
+          ocaml-compiler: ${{ env.OCAML_DEFAULT_VERSION }}
           dune-cache: true
 
       - name: Install dependencies