Skip to content

Propagate dune-project changes to opam files #162

Propagate dune-project changes to opam files

Propagate dune-project changes to opam files #162

Triggered via pull request April 15, 2024 08:34
Status Skipped
Total duration 3s
Artifacts

changelog.yml

on: pull_request
Fit to window
Zoom out
Zoom in