Skip to content

[Gitlab CI] Use maxima installed from Conda