Code

Build with opam's number of jobs#20

Code

Merged

joaomhmpereira merged 1 commit intomainformalsec/ocaml-cvc5:mainfrom opam-jobsformalsec/ocaml-cvc5:opam-jobsCopy head branch name to clipboardJun 13, 2024

+6-5

Commits

Commits on Jun 13, 2024

• Use opam's number of jobs instead of default 1

  joaomhmpereira

  committed
  6017f10

  Copy full SHA for 6017f10