mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2024-11-23 20:22:51 +01:00
Code Issues Projects Releases Packages Wiki Activity

ci: rtic-sync for docs

Browse source
This commit is contained in:
Henrik Tjäder 2023-03-02 20:09:39 +01:00
parent ff4ddcb215
commit 2f8dcb1b82
1 changed files with 3 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -263,12 +263,6 @@ jobs:
echo rtic_macros echo rtic_macros
lychee --offline --format detailed $td/api/rtic_macros/ lychee --offline --format detailed $td/api/rtic_macros/
echo rtic_arbiter
lychee --offline --format detailed $td/api/rtic_arbiter/
echo rtic_channel
lychee --offline --format detailed $td/api/rtic_channel/
echo rtic_common echo rtic_common
lychee --offline --format detailed $td/api/rtic_common/ lychee --offline --format detailed $td/api/rtic_common/
@ -278,6 +272,9 @@ jobs:
echo rtic_monotonics echo rtic_monotonics
lychee --offline --format detailed $td/api/rtic_monotonics/ lychee --offline --format detailed $td/api/rtic_monotonics/
echo rtic_sync
lychee --offline --format detailed $td/api/rtic_sync/
echo rtic_time echo rtic_time
lychee --offline --format detailed $td/api/rtic_time/ lychee --offline --format detailed $td/api/rtic_time/