From d1b0f85d4d4fde4bbeb041d8b160cac3a78ca1f8 Mon Sep 17 00:00:00 2001
From: Hannes Wellmann <wellmann.hannes1@gmx.net>
Date: Mon, 1 May 2023 13:19:51 +0200
Subject: [PATCH] Don't run 'Build' GH workflow when a tag was pushed

Fixes https://github.com/eclipse/xtext/issues/2644
---
 .github/workflows/maven.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index a46e96506a6..050fb6c017e 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -2,6 +2,7 @@ name: Build
 
 on:
   push:
+    branches: ['*'] # Run on any pushed branch, but not on any pushed tag
     paths-ignore:
       - '**.md'
   pull_request: