Use it to enhance the BASEDIR / OPAMTMP detection #420
main.yml
on: push
Analyse
4s
Cold-Linux
5m 9s
Matrix: Solvers-Linux
Matrix: Test-Linux
Matrix: Upgrade-Linux
Matrix: Solvers-macOS
Matrix: Upgrade-macOS
Matrix: Build-Windows