Skip to content

feat: improve CI build#1261

Merged
metacosm merged 3 commits intomainfrom
ci-fixes
Feb 5, 2026
Merged

feat: improve CI build#1261
metacosm merged 3 commits intomainfrom
ci-fixes

Conversation

@metacosm
Copy link
Member

@metacosm metacosm commented Feb 5, 2026

  • refactor: rename profiles and activation properties to be more explicit
  • fix: add default profile
  • refactor: tweak the build commands to try to build faster

@metacosm metacosm requested a review from a team as a code owner February 5, 2026 15:08
@metacosm metacosm self-assigned this Feb 5, 2026
@metacosm metacosm requested a review from xstefank February 5, 2026 15:08
@metacosm metacosm merged commit 9204b0c into main Feb 5, 2026
10 checks passed
@metacosm metacosm deleted the ci-fixes branch February 5, 2026 16:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants