From 0540fd3f41230e3416b02db23b295df0073a5554 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 2 Mar 2023 09:04:52 +0100
Subject: [PATCH] GH action: use existing runners

---
 .github/workflows/git.yml | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/git.yml b/.github/workflows/git.yml
index 4330ec0436..81988a180c 100644
--- a/.github/workflows/git.yml
+++ b/.github/workflows/git.yml
@@ -9,9 +9,11 @@ name: Git build on various OS and setups
 on: workflow_dispatch
 
 jobs:
-  simgrid-regular-debian11:
-
-    runs-on: debian:11
+  simgrid-regular:
+    strategy:
+      matrix:
+        os: [ubuntu-latest, macos-latest]
+    runs-on: ${{ matrix.os }}
     permissions:
       contents: read
       packages: write
@@ -43,9 +45,9 @@ jobs:
           MATTERMOST_WEBHOOK_URL: ${{ secrets.MATTERMOST_WEBHOOK_URL }}
           MATTERMOST_CHANNEL: ${{ secrets.MATTERMOST_CHANNEL}}
 
-  simgrid-modelchecker-debian11:
+  simgrid-modelcheck-ubuntu:
 
-    runs-on: debian:11
+    runs-on: ubuntu-latest
     permissions:
       contents: read
       packages: write
-- 
2.20.1