From 17635f7adc58d6d3e3f6943f4a596309cca6cf28 Mon Sep 17 00:00:00 2001
From: Aaruni Kaushik <aaruni@edufor.me>
Date: Tue, 29 Oct 2024 10:34:22 +0100
Subject: [PATCH 1/2] Run on RPTU servers

I am not sure if this is actually correct.
---
 OscarCI.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/OscarCI.toml b/OscarCI.toml
index d4e98c590..74eff5e41 100644
--- a/OscarCI.toml
+++ b/OscarCI.toml
@@ -1,7 +1,7 @@
 title = "metadata for oscar CI run"
 
 [env]
-# os = [ "ubuntu-latest" ]
+  os = ["Linux", "RPTU"]
 # julia-version = [ "~1.6.0-0"]
 # branches = [ "release", "<matching>" ]
 

From f654e8e2713a4385aefc1f439e42554205449c14 Mon Sep 17 00:00:00 2001
From: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Date: Tue, 29 Oct 2024 14:38:32 +0100
Subject: [PATCH 2/2] try one more array level

---
 OscarCI.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/OscarCI.toml b/OscarCI.toml
index 74eff5e41..e01589a3c 100644
--- a/OscarCI.toml
+++ b/OscarCI.toml
@@ -1,7 +1,7 @@
 title = "metadata for oscar CI run"
 
 [env]
-  os = ["Linux", "RPTU"]
+  os = [ ["Linux", "RPTU"] ]
 # julia-version = [ "~1.6.0-0"]
 # branches = [ "release", "<matching>" ]