Skip to content

ci: update CircleCI config to use just instead of make#19482

Merged
ajsutton merged 11 commits intodevelopfrom
aj/ci-make-to-just
Mar 13, 2026
Merged

ci: update CircleCI config to use just instead of make#19482
ajsutton merged 11 commits intodevelopfrom
aj/ci-make-to-just

Commits

Commits on Mar 13, 2026