From c23672ce52ae53bd846b555439aa0a070b6d2c07 Mon Sep 17 00:00:00 2001 From: DRC Date: Fri, 23 Apr 2021 13:05:25 -0500 Subject: [PATCH] GitHub Actions: Don't build tags Our workflow script does not currently work with tags, and there is no point to building tags anyhow, since we do not use the CI system to spin official builds. --- .github/workflows/build.yml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c0a64f3d..823e179a 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,6 +1,13 @@ name: Build -on: [push, pull_request, workflow_dispatch] +on: + push: + branches: + - '**' + tags-ignore: + - '**' + pull_request: + workflow_dispatch: jobs: linux: