Repository navigation

Commit a4e86f6

committed

Temporary: the release workflow also runs on pushes to the release branch, for the proof run on GitHub's runners. Reverted before handoff

1 parent a88d09b commit a4e86f6Copy full SHA for a4e86f6

1 file changed

.github/workflows
- release.yml

`‎.github/workflows/release.yml‎`

-Original file line number
+Diff line change
 on:
   push:
     tags: ["v*"]
 +    # TEMPORARY for the proof run on the release branch; removed before handoff.
 +    branches: [release]
   workflow_dispatch:
     inputs:
       version:

Comments

(0)