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

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

44b87dd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar