ci: Change names for release branches from rel-MAJOR.MINOR to vMAJOR

This naming scheme gives us the best support for readthedocs.

References #2814
This commit is contained in:
Wolfgang Walther
2024-02-17 17:43:03 +01:00
parent b2dda6a5d3
commit 75a86ba873
3 changed files with 5 additions and 5 deletions
+2 -2
View File
@@ -4,13 +4,13 @@ on:
push: push:
branches: branches:
- main - main
- rel-* - v[0-9]+
tags: tags:
- v* - v*
pull_request: pull_request:
branches: branches:
- main - main
- rel-* - v[0-9]+
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.ref }} group: ${{ github.workflow }}-${{ github.ref }}
+2 -2
View File
@@ -4,11 +4,11 @@ on:
push: push:
branches: branches:
- main - main
- rel-* - v[0-9]+
pull_request: pull_request:
branches: branches:
- main - main
- rel-* - v[0-9]+
jobs: jobs:
build: build:
+1 -1
View File
@@ -57,7 +57,7 @@ let
} }
'' ''
trap "echo You need to be on the main branch or a release branch to proceed. Exiting ..." ERR trap "echo You need to be on the main branch or a release branch to proceed. Exiting ..." ERR
[[ "$(git rev-parse --abbrev-ref HEAD)" =~ ^main$|^rel- ]] [[ "$(git rev-parse --abbrev-ref HEAD)" =~ ^main$|^v[0-9]+$ ]]
trap "" ERR trap "" ERR
trap "echo You have uncommitted changes in postgrest.cabal. Exiting ..." ERR trap "echo You have uncommitted changes in postgrest.cabal. Exiting ..." ERR