Builds, tests & co

[API] Make the ?lock_kind parameters non-optional to avoid breaking the library users after they upgrade their opam root #4067

Sign in to view logs

Re-run triggered February 11, 2025 13:17

kit-ty-kate

#5488

kit-ty-kate:explicit-lock-kind

Status Success

Total duration 34m 58s

Artifacts 3

main.yml

on: pull_request

Matrix: Build-Linux

Matrix: Build-macOS

Matrix: Test-macOS

Matrix: Doc-Linux

Matrix: Solvers-Linux

Matrix: Test-Linux

Matrix: Upgrade-Linux

Matrix: Solvers-macOS

Matrix: Upgrade-macOS

Matrix: Build-Windows