diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f32e506ee0..f2bec7dce4 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?
diff --git a/Cargo.toml b/Cargo.toml
index 98ecfea66e..6fccc1da54 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,11 @@
 [workspace]
 default-members = [
     "rtic",
+    "rtic-sync",
+    "rtic-common",
+    "rtic-macros",
+    "rtic-monotonics",
+    "rtic-time",
 ]
 members = [
     "rtic",