Skip to content
Snippets Groups Projects
Commit 75c6d18a authored by Ralf Jung's avatar Ralf Jung
Browse files

run Dune only post-merge

parent 26ca5cff
No related branches found
No related tags found
No related merge requests found
Pipeline #103093 passed