From 5b91bcfa7e64e5095f431b2b5012e72501928586 Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Fri, 25 Oct 2024 13:45:25 +0200
Subject: [PATCH] Force publishing and skip actual PR creation

---
 .github/workflows/main.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index b6842a3..df084a1 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -54,13 +54,17 @@ jobs:
           verbose: true
 
         # Produce an Alire release manifest
-      - name: Configure Github credentials
+      - name: Configure Github credentials and generate manifest
+        shell: bash
         run: |
           # Set user GitHub login required for `alr publish`
           alr settings --set --global user.github_login ${{github.repository_owner}}
 
           # Run Alire publish assistant with the appropriate commit
-          alr publish ${{github.server_url}}/${{github.repository}} ${{ github.event_name == 'pull_request' && github.event.pull_request.head.sha || github.sha }}
+          # Force to allow generation for -dev version
+          alr -f publish --skip-submit \
+            ${{github.server_url}}/${{github.repository}} \
+            ${{ github.event_name == 'pull_request' && github.event.pull_request.head.sha || github.sha }}
 
         # Save the path to the release manifest for the next step.
         # This is a little trick to get around the fact that the actions/upload-release-asset doesn't allow globing pattern.