Skip to content

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

Merged
georgweiss merged 1 commit into
masterfrom
remove_pixi_stuff
Jul 15, 2026
Merged

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

Removed pixi generated files and (probably) erroneous additions to .g…

78c33da
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
lint / pre-commit
succeeded Jul 10, 2026 in 18s