mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2024-12-01 16:04:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Merge #579

Browse source 
579: CI: Add link to HackMD to rtic.rs/meeting/ r=perlindgren a=AfoHT



Co-authored-by: Henrik Tjäder <henrik@grepit.se>
This commit is contained in:
bors[bot] 2022-01-04 18:42:03 +00:00 committed by GitHub
commit dcba1a55dd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -536,6 +536,10 @@ jobs:
mkdir -p $td/$devver/book/ mkdir -p $td/$devver/book/
cp -r target/doc $td/$devver/api 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 # Redirect the main site to the stable release
sed "s|URL|$stable|g" redirect.html > $td/index.html sed "s|URL|$stable|g" redirect.html > $td/index.html