Skip to content

Small cleaning of Pixi and CI#75

Merged
EtienneAr merged 11 commits intomainfrom
pixi_ci
Oct 27, 2025
Merged

Small cleaning of Pixi and CI#75
EtienneAr merged 11 commits intomainfrom
pixi_ci

Conversation

@EtienneAr
Copy link
Collaborator

@EtienneAr EtienneAr commented Oct 27, 2025

  • Simplify ci matrix
    • Actually parse buildtype flag
    • Remove unused environment variable
  • Prevent CI from runnning twice in PR (run "only" on push now)
  • Remove unused pixi features such as py311
  • Simplfy pixi dependecies

@EtienneAr EtienneAr merged commit cb285e6 into main Oct 27, 2025
6 checks passed
@EtienneAr EtienneAr deleted the pixi_ci branch October 27, 2025 12:39
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.

1 participant