Skip to content
ci

Replace bash use with dune-configurator #392

Sign in to view logs

Replace bash use with dune-configurator

Replace bash use with dune-configurator #392

Triggered via pull request February 8, 2025 11:49
@tobil4sktobil4sk
synchronize #168
tobil4sk:reduce-bash-usage
Status Success
Total duration 6m 18s
Artifacts –

ci.yml

on: pull_request
old-libuv
1m 49s
old-libuv
Matrix: opam
Fit to window
Zoom out
Zoom in