🛠️ Tobias: Run CI in the tobias repo against just tobias#21
Merged
zspencer merged 1 commit intomainfrom tobias/enable-ciJan 30, 2024
+135
Tobias: Run CI in the tobias repo against just tobias#21