OPAMSWITCH
and OPAMROOT
reverts
#2465
main.yml
on: pull_request
Analyse
7s
Cold-Linux
4m 47s
Matrix: Solvers-Linux
Matrix: Test-Linux
Matrix: Upgrade-Linux
Matrix: Solvers-macOS
Matrix: Upgrade-macOS
Matrix: Build-Windows