You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Update dune lang to get proper opam file generation
opam-repository CI rejects the use of `{pinned}` now, bumping
the dune lang that way generate the right opam file, using the prefered
`{dev}` flag
Signed-off-by: Nathan Rebours <[email protected]>
0 commit comments