OCaml Binding CI (Ubuntu)

Fix setup_relevancy for relevancy-dependent case split strategies (#7… #152

Sign in to view logs

Triggered via push May 27, 2025 15:52

master

Status Success

Total duration 22m 39s

Artifacts –

ocaml.yaml

on: push

build-test-ocaml