Code

Make the CI script docker friendly#96

Code

Merged

kit-ty-kate merged 2 commits intoocurrent:masterocurrent/opam-repo-ci:masterfrom kit-ty-kate:docker-friendly-scriptkit-ty-kate/opam-repo-ci:docker-friendly-scriptCopy head branch name to clipboardApr 20, 2021

+16-16

Commits

Commits on Apr 15, 2021

• Make the script docker friendly (make it fully reproducible at home)

  kit-ty-kate

  committed
  7004552

• Make it easier to debug using docker (avoid cache invalidation)

  kit-ty-kate

  committed
  e162bd2