gh workflow: don't make release on tag pushes to prevent double release when executed from github web interface.

2022-09-25 18:20:08 -04:00
parent 42eeaf44a5
commit e0e928c31e
1 changed files with 0 additions and 4 deletions
@@ -1,10 +1,6 @@
 name: Release

 on:
-  push:
-    tags:
-      - v[0-9]+.*
-
  workflow_dispatch:
    inputs:
      version: