Skip to content

Use it to enhance the BASEDIR / OPAMTMP detection #420

Use it to enhance the BASEDIR / OPAMTMP detection

Use it to enhance the BASEDIR / OPAMTMP detection #420

Triggered via push November 9, 2023 10:09
Status Success
Total duration 1h 24m 38s
Artifacts

main.yml

on: push
Analyse
4s
Analyse
Matrix: Build-Linux
Matrix: Build-macOS
Matrix: Test-macOS
Matrix: Solvers-Linux
Matrix: Test-Linux
Matrix: Upgrade-Linux
Matrix: Solvers-macOS
Matrix: Upgrade-macOS
Matrix: Build-Windows
Fit to window
Zoom out
Zoom in