ci: Allow releasing from any branch

Author: cpitclaudel

.github/workflows/check-deep-tests-reusable.yml

@@ -5,6 +5,8 @@ on:
     inputs:
       sha:
         type: string
+      branch:
+        type: string
 
 jobs:
   check-deep-tests:
@@ -19,4 +21,7 @@ jobs:
       with:
         script: |
           const script = require('${{ github.workspace }}/dafny/.github/workflows/check-for-workflow-run.js')
-          console.log(script({github, context, core}, workflowID = 'deep-tests.yml', branch = 'master', sha = '${{ inputs.sha }}'))
+          console.log(script({github, context, core,
+                              workflow_id: 'deep-tests.yml',
+                              ...('${{ inputs.sha }}' ? {sha: '${{ inputs.sha }}'} : {}),
+                              ...('${{ inputs.branch }}' ? {branch: '${{ inputs.branch }}'} : {})}))

.github/workflows/check-for-workflow-run.js

@@ -1,19 +1,19 @@
 // Check for a successful previous run of a workflow.
 // This could make a decent reusable action itself.
-module.exports = async ({github, context, core}, workflowID, branch, sha = null) => {
+module.exports = async ({github, context, core, workflow_id, sha, ...config}) => {
   // This API doesn't support filtering by SHA, so we just
   // fetch the first page and scan manually.
   // That means if the run is fairly old it may be missed,
   // but that should be rare.
   const result = await github.rest.actions.listWorkflowRuns({
     owner: context.repo.owner,
     repo: context.repo.repo,
-    branch,
-    workflow_id: workflowID,
+    workflow_id,
+    ...config
   })
   // These are ordered by creation time, so decide based on the first
   // run for this SHA we see.
-  const runFilterDesc = sha ? `${workflowID} on ${sha}` : workflowID
+  const runFilterDesc = sha ? `${workflow_id} on ${sha}` : workflow_id
   for (const run of result.data.workflow_runs) {
     if (!sha || run.head_sha == sha) {
       if (run.conclusion != "success") {

.github/workflows/msbuild.yml

@@ -52,6 +52,8 @@ jobs:
 
   check-deep-tests:
     uses: ./.github/workflows/check-deep-tests-reusable.yml
+    with:
+      branch: master
 
   integration-tests:
     needs: check-deep-tests