Skip to content

[CI] Use a fixed Julia version for building the website#43

Merged
giordano merged 2 commits intomainfrom
mg/fix-julia-version
Mar 9, 2026
Merged

[CI] Use a fixed Julia version for building the website#43
giordano merged 2 commits intomainfrom
mg/fix-julia-version

Commits