Compare commits

..

1 commit

Author SHA1 Message Date
f5bb4bf78e Merge pull request 'Mergin dev - new header, updated servants' (#29) from dev into main
All checks were successful
/ checking (push) Successful in 14s
/ build-site (push) Successful in 1m41s
/ release (push) Successful in 7s
Reviewed-on: #29
2024-06-15 17:20:51 +00:00
2 changed files with 3 additions and 2 deletions

View file

@ -1,7 +1,7 @@
on:
push:
tags:
- '[0-9]+\.[0-9]+\.[0-9]+-pre\.[0-9]+'
- '[0-9]+\.[0-9]+\.[0-9]+pre[0-9]+'
jobs:
checking:

View file

@ -1,7 +1,8 @@
on:
push:
tags:
- '[0-9]+\.[0-9]+\.[0-9]+-ulh\.[0-9]+'
- '[0-9]+\.[0-9]+\.[0-9]+unlighthouse[0-9]+'
- '[0-9]+\.[0-9]+\.[0-9]+ulh[0-9]+'
jobs:
unlighthouse: