From 61a642d28a6d7c8c59dfaf1c07204d94c96eac34 Mon Sep 17 00:00:00 2001 From: Benjamin Lorenz Date: Thu, 2 May 2024 11:41:39 +0200 Subject: [PATCH] [CI] switch macos runner labels for oscarci --- OscarCI.toml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/OscarCI.toml b/OscarCI.toml index e1e8db73..c81ae34b 100644 --- a/OscarCI.toml +++ b/OscarCI.toml @@ -30,10 +30,10 @@ julia-version = [ "~1.6.0-0", "~1.10.0-0"] Oscar = "" Polymake = "" julia-version = "1.6" - os = "macos-latest" + os = "macos-13" - [include.macamd64] + [include.macaarch64] Oscar = "" Polymake = "" julia-version = "1.10" - os = "macos-13" + os = "macos-14"