Back to pull request #5662

Fix the sandbox scripts in absence of the OPAMROOT variable #2286

Sign in to view logs

Triggered via pull request September 11, 2023 16:00

kit-ty-kate

synchronize #5662

kit-ty-kate:fix-sandbox

Status Success

Total duration 1h 43m 18s

Artifacts –

main.yml

on: pull_request

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