diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2023-03-02 19:58:04 +0100 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-03-02 19:58:04 +0100 |
| commit | ff4ddcb215b85b9d6a96c5e8f4e2bac06edd8ec8 (patch) | |
| tree | 1869caebf8680f3f9cf208a83549ca0554fb14f8 /.github | |
| parent | 39a06368c8f1e6e77c1e838b0a8a39e548c344f5 (diff) | |
ci: rtic-sync
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5d264f1..f44ed43 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -207,11 +207,10 @@ jobs: - thumbv8-main package: - rtic - - rtic-arbiter - - rtic-channel - rtic-common - rtic-macros - rtic-monotonics + - rtic-sync - rtic-time steps: |