From 792917e7069f7367d151adb07f2ea223c6bf12cd Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Wed, 2 Dec 2020 19:49:18 +0100 Subject: [PATCH 1/2] Try build with older mac on CI. --- .circleci/config.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 3875d98c..4ddc93d9 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -62,7 +62,7 @@ executors: working_directory: ~/repo mac: macos: - xcode: "11.4.0" + xcode: "10.1.0" environment: <<: *opam_env OPAM_VERSION: 2.0.5 From 020e9fcce771a830d8f851be7b5eeeb07d25dc33 Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Wed, 2 Dec 2020 19:54:34 +0100 Subject: [PATCH 2/2] Update config.yml --- .circleci/config.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 4ddc93d9..a932ccb3 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -73,12 +73,12 @@ commands: steps: - restore_cache: keys: - - v1-opam-cache-{{ arch }}-v0 + - v2-opam-cache-{{ arch }}-v0 save-opam-cache: steps: - save_cache: - key: v1-opam-cache-{{ arch }}-v0 + key: v2-opam-cache-{{ arch }}-v0 paths: - ~/.opam - _opam