1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 05:32:45 +01:00

static-test: add release tags as push trigger

This commit is contained in:
Martine Lenders 2020-12-18 12:57:33 +01:00
parent 5195ae166a
commit 512c92ffb1
No known key found for this signature in database
GPG Key ID: CCD317364F63286F

View File

@ -4,6 +4,10 @@ on:
push:
branches:
- master
tags:
- '[0-9][0-9][0-9][0-9].[0-9][0-9]-RC[0-9]*'
- '[0-9][0-9][0-9][0-9].[0-9][0-9]'
- '[0-9][0-9][0-9][0-9].[0-9][0-9].*'
pull_request:
branches:
- '*'