diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ffb775b8..c8751eeb 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -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