Only run diff-API workflow when releasing new versions

wasmerio · Jul 13, 2022 · 3618d82 · 3618d82
1 parent 4604d6a
commit 3618d82
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/.github/workflows/check-public-api.yaml b/.github/workflows/check-public-api.yaml
@@ -4,9 +4,15 @@ env:
   RUST_BACKTRACE: 1
 on:
   push:
-    branches: [ "master" ]
-  pull_request:
-    branches: [ "master" ]   
+    branches:
+      - 'master'
+    tags:
+      # this is _not_ a regex, see: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#filter-pattern-cheat-sheet
+      - '[0-9]+.[0-9]+.[0-9]+*'
+  workflow_dispatch:
+    inputs:
+      diff-api:
+          description: 'Diff API'
 jobs:
   setup:
     name: Set up