diff options
| author | datdenkikniet <jcdra1@gmail.com> | 2023-04-15 15:24:41 +0200 |
|---|---|---|
| committer | datdenkikniet <jcdra1@gmail.com> | 2023-04-15 15:24:41 +0200 |
| commit | 51284efd0eadbc37a5c79afdeff17df84a928370 (patch) | |
| tree | 92e304e4c9ad568ce2c7714a12de96f8a7c21bea | |
| parent | b11b4f8cddfb9714e542155a957e070713e297f9 (diff) | |
Add more default members
| -rw-r--r-- | .github/workflows/build.yml | 2 | ||||
| -rw-r--r-- | Cargo.toml | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index f32e506..f2bec7d 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -251,7 +251,7 @@ jobs: tool: lychee - name: Remove cargo-config - run: rm -f .cargo/config + run: rm -f .cargo/config.toml - name: Build docs # TODO: Any difference between backends? @@ -1,6 +1,11 @@ [workspace] default-members = [ "rtic", + "rtic-sync", + "rtic-common", + "rtic-macros", + "rtic-monotonics", + "rtic-time", ] members = [ "rtic", |