From 393d226e8b29850fb7c560b5d10f74023d70b2b1 Mon Sep 17 00:00:00 2001 From: David Sancho Moreno Date: Fri, 25 Aug 2023 13:25:34 +0200 Subject: [PATCH] Enable CI for 5.0 --- .github/workflows/ci.yml | 1 + Makefile | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 94b94ae96..85ae29b04 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -21,6 +21,7 @@ jobs: # - windows-latest ocaml-compiler: - 4.14.0 + - 5.0 steps: - name: Checkout code diff --git a/Makefile b/Makefile index 878d599bc..d9e3e4dee 100644 --- a/Makefile +++ b/Makefile @@ -60,7 +60,7 @@ pin: ## Pin dependencies .PHONY: create-switch create-switch: ## Create opam switch - @opam switch create . 4.14.0 --deps-only --with-test + @opam switch create . 4.14.0 --deps-only --with-test -y .PHONY: install install: create-switch pin ## Install dependencies