From 595380207120c0723073bd17e298731bf5f4e7a5 Mon Sep 17 00:00:00 2001 From: Robert Konrad Date: Sat, 18 Nov 2023 13:42:35 +0100 Subject: [PATCH] Only use old ocaml --- .github/workflows/main.yml | 2 +- extra/github-actions/workflows/main.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 4af811f97cb..bb093ca3634 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -150,7 +150,7 @@ jobs: strategy: fail-fast: false matrix: - ocaml: ["4.08.1", "5.0.0"] + ocaml: ["4.08.1"] steps: - uses: actions/checkout@main with: diff --git a/extra/github-actions/workflows/main.yml b/extra/github-actions/workflows/main.yml index 1303f1de05d..a1ffb9c97a7 100644 --- a/extra/github-actions/workflows/main.yml +++ b/extra/github-actions/workflows/main.yml @@ -36,7 +36,7 @@ jobs: strategy: fail-fast: false matrix: - ocaml: ["4.08.1", "5.0.0"] + ocaml: ["4.08.1"] steps: - uses: actions/checkout@main with: