mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2025-12-18 13:55:23 +01:00
Code Issues Projects Releases Packages Wiki Activity

CI: Cleanup

Browse source
This commit is contained in:
Henrik Tjäder 2023-06-07 18:15:32 +02:00
parent bd54afae41
commit 3ce4ef26fa
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/build.yml vendored
View file

@ -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"