From 0ce74fd6ed93a087f85fd2bd91d603e2a81358f5 Mon Sep 17 00:00:00 2001
From: Alexandre Archambault <alexandre.archambault@gmail.com>
Date: Thu, 1 Feb 2024 12:13:38 +0100
Subject: [PATCH] Ignore formatting errors on Windows CI

Getting errors there on CI, that I can't reproduce on a local Windows
machine
---
 .github/workflows/test.yml        | 1 +
 .github/workflows/update-dist.yml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 0e9a8d1e..effdeb42 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -24,6 +24,7 @@ jobs:
       shell: bash -l {0}
       run: |
         npm ci
+        test "$OSTYPE" != "msys" || npm run format
         npm run all
 
     # create an sbt file to enable sbt caching
diff --git a/.github/workflows/update-dist.yml b/.github/workflows/update-dist.yml
index 01c3893c..88c799d4 100644
--- a/.github/workflows/update-dist.yml
+++ b/.github/workflows/update-dist.yml
@@ -19,6 +19,7 @@ jobs:
         shell: bash -l {0}
         run: |
           npm ci
+          test "$OSTYPE" != "msys" || npm run format
           npm run all
 
       - name: Create Pull Request