Skip to content

use Julia 1.10 on GitHub CI#174

Merged
dpo merged 1 commit intomasterfrom ci-julia-1.10Jan 22, 2025

Commits

Commits on Jan 21, 2025