diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-01-04 18:42:03 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-04 18:42:03 +0000 |
| commit | dcba1a55ddf27995da61253ec79f8c915bb3da38 (patch) | |
| tree | e01fbe08aee5d97d86ef5a626bcfff865e63d2a6 | |
| parent | 8cff6827d147d46760095f63a4d84e9ca9727672 (diff) | |
| parent | fcc412dfb99445f748f540228fd0b24b508a407c (diff) | |
Merge #579
579: CI: Add link to HackMD to rtic.rs/meeting/ r=perlindgren a=AfoHT
Co-authored-by: Henrik Tjäder <henrik@grepit.se>
| -rw-r--r-- | .github/workflows/build.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 7a324bc..d2b45c4 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -536,6 +536,10 @@ jobs: mkdir -p $td/$devver/book/ cp -r target/doc $td/$devver/api + # Redirect rtic.rs/meeting/index.html to hackmd + mkdir $td/meeting + sed "s|URL|https://hackmd.io/c_mFUZL-Q2C6614MlrrxOg|g" redirect.html > $td/meeting/index.html + # Redirect the main site to the stable release sed "s|URL|$stable|g" redirect.html > $td/index.html |