Also run the build when pushing tags

2026-05-06 19:40:10 +02:00 · 2020-05-07 18:38:24 +02:00
parent e30ad2ccb5
commit 7ba9a53ef5
1 changed files with 4 additions and 0 deletions
@@ -4,6 +4,10 @@ on:
  push:
    branches:
      - master
+    tags:
+      # Run when pushing version tags, since otherwise it's impossible to
+      # restart a successful build after pushing a tag
+      - '*.*.*'
  pull_request:
    branches:
      - master