From 4fcb3b1b61591d158c5984f51c121db2674e619c Mon Sep 17 00:00:00 2001
From: josemduarte <jose.m.duarte@gmail.com>
Date: Wed, 24 Apr 2024 14:53:28 -0700
Subject: [PATCH] Adding windows, #1092

---
 .github/workflows/pull_request.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index d2e35cd56c..a0d31ee08a 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -16,9 +16,8 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        # We do one OS only to reduce resource utilization. To do macOS to this would be needed:
-        #os: [ubuntu-20.04, macOS-latest]
-        os: [ubuntu-latest]
+        # Linux and Windows only (MacOS is quite close to Linux, so less of a risk)
+        os: [ubuntu-latest, windows-latest]
         java: [17, 21]
       fail-fast: false
       max-parallel: 4