Builds, tests & co

Unset OPAM_SWITCH_PREFIX when using make cold #619

Sign in to view logs

Triggered via push December 12, 2023 10:19

rjbou

unset-opam-switch-prefix-cold

Status Success

Total duration 1h 15m 56s

Artifacts –

main.yml

on: push

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