Skip to content

Update Dockerfile and CI related scripts.

Kim Nguyễn requested to merge update-ci-Dockerfile into dev

Update the CI scripts to:

  • add libgmp-dev to the Docker images
  • warn that the internal ssh keys are absent when generating the Docker images on the CI host
  • user OCaml 4.14.2 for the 4.14 branch

Merge request reports