Skip to content

Drop unused jaxopt; bump pixi 0.71.2 + CI actions + pre-commit hooks#94

Merged
hmgaudecker merged 1 commit into
mainfrom
drop-unused-jaxopt
Jul 1, 2026
Merged

Drop unused jaxopt; bump pixi 0.71.2 + CI actions + pre-commit hooks#94
hmgaudecker merged 1 commit into
mainfrom
drop-unused-jaxopt

Commits

Commits on Jul 1, 2026