CI: automatically handle system dependency changes

FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Apache License 2.0

394 stars 58 forks source link

CI: automatically handle system dependency changes #451

Closed tahina-pro closed 1 month ago

tahina-pro commented 1 month ago

There was a system dependency change requiring to manually install pkg-config.

By using OPAMCONFIRMLEVEL=unsafe-yes instead of OPAMYES=1 or the --yes option, following ocaml/opam#4814, this PR manages to handle such changes automatically.