Skip to content
Snippets Groups Projects

CI: fix opam-triggered recompilation

Passed
Björn Brandenburg created pipeline for commit 903e5476
, finished
For master
branch
13 jobs 14 minutes 15 seconds, queued for 4 seconds