Skip to content

CI: use julia lts instead of 1.6#143

Merged
dpo merged 1 commit intomainfrom
ci-lts
Apr 1, 2025
Merged

CI: use julia lts instead of 1.6#143
dpo merged 1 commit intomainfrom
ci-lts

Commits

Commits on Feb 25, 2025