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>
This commit is contained in:
bors[bot] 2023-06-08 05:35:04 +00:00 committed by GitHub
commit 9f8d54c1ee
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions

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"

View file

@ -15,8 +15,8 @@ This is the documentation for RTIC v2.x.
Older releases:
[RTIC v1.x](/1) | [RTIC v0.5.x (unsupported)][v0_5] | [RTFM v0.4.x (unsupported)][v0_4]
v0_5: https://github.com/rtic-rs/rtic/tree/release/v0.5
v0_4: https://github.com/rtic-rs/rtic/tree/release/v0.4
[v0_5]: https://github.com/rtic-rs/rtic/tree/release/v0.5
[v0_4]: https://github.com/rtic-rs/rtic/tree/release/v0.4
{{#include ../../../README.md:7:12}}