Skip to content
PR number update

Bump dune lang to 2.9 following opam-ci feedback #833

Sign in to view logs

Bump dune lang to 2.9 following opam-ci feedback

Bump dune lang to 2.9 following opam-ci feedback #833

Triggered via pull request December 18, 2024 13:34
@NathanRebNathanReb
opened #547
Status Success
Total duration 14s
Artifacts –

pr-number.yml

on: pull_request_target
Update PR number
3s
Update PR number
Fit to window
Zoom out
Zoom in