Skip to content

Set CI to Julia 1 and trim verbose job names#260

Merged
yebai merged 1 commit into
mainfrom
ci-bump-julia-1
May 25, 2026
Merged

Set CI to Julia 1 and trim verbose job names#260
yebai merged 1 commit into
mainfrom
ci-bump-julia-1

Commits

Commits on May 22, 2026