CI: Add build booster job

alexschmander · alexschmander · commit e4b18f3877f6 · 2025-12-12T14:23:22.000+01:00
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
@@ -116,6 +116,7 @@ jobs:
           - imagine
           - replayer
           - mujoco
+          - booster
         profile:
           - dev
           - release
