diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-06-08 05:35:04 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-08 05:35:04 +0000 |
| commit | 9f8d54c1ee4790f96c19e409a3b3108bf3db4ceb (patch) | |
| tree | e29878d0bab1680c82560b24a00efa692a300d0d /.github | |
| parent | bd54afae41ff8bdec45fca5f2d0e98cd04600ab8 (diff) | |
| parent | 3ce4ef26fa4d0a1c1200d7134d50a4d3a1b6133d (diff) | |
Merge #765
765: CI: Cleanup r=korken89 a=AfoHT
Tidy up, main purpose to test the full CI
Co-authored-by: Henrik Tjäder <henrik@tjaders.com>
Diffstat (limited to '.github')
| -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" |