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 | |
| parent | bd54afae41ff8bdec45fca5f2d0e98cd04600ab8 (diff) | |
| download | rtic-3ce4ef26fa4d0a1c1200d7134d50a4d3a1b6133d.tar.gz rtic-3ce4ef26fa4d0a1c1200d7134d50a4d3a1b6133d.tar.zst rtic-3ce4ef26fa4d0a1c1200d7134d50a4d3a1b6133d.zip | |
CI: Cleanup
| -rw-r--r-- | .github/workflows/build.yml | 2 | ||||
| -rw-r--r-- | book/en/src/preface.md | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 37dd2aad..a87db6c3 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" diff --git a/book/en/src/preface.md b/book/en/src/preface.md index 50098c74..34988c6b 100644 --- a/book/en/src/preface.md +++ b/book/en/src/preface.md @@ -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}} |