Fix the build system when using dune 3.11 and above #10045

Sign in to view logs

Triggered via pull request May 10, 2024 14:20

dkalinichenko-js

synchronize #2114

aec/fix-dune-build

Status Success

Total duration 24m 11s

Artifacts –

build.yml

on: pull_request

Matrix: build