Skip to content

Removed pixi generated files and (probably) erroneous additions to .gitignore#3877

Open
georgweiss wants to merge 1 commit into
masterfrom
remove_pixi_stuff
Open

Removed pixi generated files and (probably) erroneous additions to .gitignore#3877
georgweiss wants to merge 1 commit into
masterfrom
remove_pixi_stuff

Conversation

@georgweiss

Copy link
Copy Markdown
Collaborator

Not sure how these removed files were added, but probably by running doc build differently than it should.

  • Testing:

    • The feature has automated tests
    • Tests were run
    • If not, explain how you tested your changes
  • Documentation:

    • The feature is documented
    • The documentation is up to date
    • Release notes:
      • Added an entry if the change is breaking or significant
      • Added an entry when adding a new feature

@georgweiss georgweiss requested a review from jacomago July 10, 2026 10:30
@sonarqubecloud

Copy link
Copy Markdown

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