From 8435bb18dd068b93e09272a9924239258f426fdb Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Tue, 4 May 2021 06:07:23 +0200 Subject: [PATCH 1/6] CI: build with ubuntu-18.04 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index dff7f4513..67fe3764c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -11,7 +11,7 @@ jobs: strategy: fail-fast: false matrix: - os: [macos-latest, ubuntu-latest, windows-latest] + os: [macos-latest, ubuntu-18.04, windows-latest] # syntax explanation: # https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#example-including-additional-values-into-combinations include: From a64f1bb35ea1fa5c9f7d74b8a477f5f2cfcb74a7 Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Tue, 4 May 2021 06:10:19 +0200 Subject: [PATCH 2/6] Update ci.yml --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 67fe3764c..1157448cd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -18,7 +18,7 @@ jobs: - os: macos-latest build: eval $(opam env) && cd analysis && make test artifact-folder: darwin - - os: ubuntu-latest + - os: stu-18.04 build: eval $(opam env) && cd analysis && make test artifact-folder: linux - os: windows-latest From ef07f71b6ffe31c7e91fed00f08eea188d725c28 Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Tue, 4 May 2021 06:11:18 +0200 Subject: [PATCH 3/6] Update ci.yml --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1157448cd..2bfcdf87b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -18,7 +18,7 @@ jobs: - os: macos-latest build: eval $(opam env) && cd analysis && make test artifact-folder: darwin - - os: stu-18.04 + - os: ubuntu-18.04 build: eval $(opam env) && cd analysis && make test artifact-folder: linux - os: windows-latest From a24713bb4d16cd55a3b59233af85bd484f7ce2bf Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Tue, 4 May 2021 06:14:21 +0200 Subject: [PATCH 4/6] Update ci.yml --- .github/workflows/ci.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2bfcdf87b..cf7e57c6d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -36,11 +36,11 @@ jobs: - uses: actions/checkout@v2.3.4 - - name: Cache OCaml's opam - uses: actions/cache@v2.1.5 - with: - path: ~/.opam - key: ${{matrix.os}}-latest-ocaml-4.06.1 + # - name: Cache OCaml's opam + # uses: actions/cache@v2.1.5 + # with: + # path: ~/.opam + # key: ${{matrix.os}}-latest-ocaml-4.06.1 - name: Use OCaml uses: avsm/setup-ocaml@v2 From 59b4e3a98b97860fb1512f6ec4f235fc53bbc6ca Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Wed, 5 May 2021 17:39:08 +0200 Subject: [PATCH 5/6] Older avsm/setup-ocaml --- .github/workflows/ci.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cf7e57c6d..5b262f4e4 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -36,14 +36,14 @@ jobs: - uses: actions/checkout@v2.3.4 - # - name: Cache OCaml's opam - # uses: actions/cache@v2.1.5 - # with: - # path: ~/.opam - # key: ${{matrix.os}}-latest-ocaml-4.06.1 + - name: Cache OCaml's opam + uses: actions/cache@v2.1.5 + with: + path: ~/.opam + key: ${{matrix.os}}-latest-ocaml-4.06.1 - name: Use OCaml - uses: avsm/setup-ocaml@v2 + uses: avsm/setup-ocaml@v1.1.10 with: ocaml-compiler: 4.06.x From 4fd7595bc32aa5dc0383ee166d846b85c445b4cd Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Wed, 5 May 2021 17:41:11 +0200 Subject: [PATCH 6/6] Just in case. --- .github/workflows/ci.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5b262f4e4..babd5a322 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -45,7 +45,8 @@ jobs: - name: Use OCaml uses: avsm/setup-ocaml@v1.1.10 with: - ocaml-compiler: 4.06.x + ocaml-version: 4.06.1 + ocaml-compiler: 4.06.1 - name: Use Node.js uses: actions/setup-node@v2.1.5