diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2023-06-07 18:15:32 +0200 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-06-07 18:15:32 +0200 |
| commit | 3ce4ef26fa4d0a1c1200d7134d50a4d3a1b6133d (patch) | |
| tree | e29878d0bab1680c82560b24a00efa692a300d0d /.github/workflows/build.yml | |
| parent | bd54afae41ff8bdec45fca5f2d0e98cd04600ab8 (diff) | |
CI: Cleanup
Diffstat (limited to '.github/workflows/build.yml')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 37dd2aa..a87db6c 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -488,7 +488,7 @@ jobs: if: ${{ env.versionmajor == env.STABLE_VERSION }} run: git push -u origin master:${{ env.branch }} - - name: Else case, master did not contain the stable version version + - name: Else case, master did not contain the stable version if: ${{ env.versionmajor != env.STABLE_VERSION }} run: echo "Master branch contains a development release, no git push performed" |