diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2023-03-02 20:09:39 +0100 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-03-02 20:09:39 +0100 |
| commit | 2f8dcb1b82c85688bd55826e9a0c47827bf6cc87 (patch) | |
| tree | eb7003765965a2012cc1449fa80700dea7adc6db | |
| parent | ff4ddcb215b85b9d6a96c5e8f4e2bac06edd8ec8 (diff) | |
ci: rtic-sync for docs
| -rw-r--r-- | .github/workflows/build.yml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index f44ed43..979fdab 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -263,12 +263,6 @@ jobs: echo 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 lychee --offline --format detailed $td/api/rtic_common/ @@ -277,6 +271,9 @@ jobs: echo rtic_monotonics lychee --offline --format detailed $td/api/rtic_monotonics/ + + echo rtic_sync + lychee --offline --format detailed $td/api/rtic_sync/ echo rtic_time lychee --offline --format detailed $td/api/rtic_time/ |