From 42681498edd31c8edae112e065847a7d73d8b347 Mon Sep 17 00:00:00 2001
From: Felix Dietze <felix.dietze@rwth-aachen.de>
Date: Thu, 24 Nov 2022 17:50:15 +0100
Subject: [PATCH] trigger build for tags

---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 8870d43..470e7a2 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -2,6 +2,7 @@ name: Test
 on:
   push:
     branches: ["main"]
+    tags: [ v* ]
   pull_request:
     types: [ opened, synchronize ]
   workflow_dispatch: