diff options
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/ci_opam_latest_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ci_opam_latest_build.sh b/etc/ci_opam_latest_build.sh index 13fbe0ac..9e994b22 100755 --- a/etc/ci_opam_latest_build.sh +++ b/etc/ci_opam_latest_build.sh @@ -2,7 +2,7 @@ set -eu -opam init -y --no-setup --compiler=4.10 --shell=sh +opam init -y --no-setup --compiler=4.10.0 --shell=sh eval `opam config env` |