Skip to content

add explicit goal selector (downstream from https://github.com/SkyLabsAI/auto/pull/445) - #175

Merged
simon-skylabs merged 1 commit into
mainfrom
simon/prelude-goal-selector
Sep 17, 2026
Merged

simon-skylabs merged 1 commit into
mainfrom
simon/prelude-goal-selector

Commits

Commits on Sep 16, 2026