From 856134c056792ce5c92872a8459b74c7003e3899 Mon Sep 17 00:00:00 2001
From: Fabien Spindler <Fabien.Spindler@inria.fr>
Date: Thu, 13 Jul 2023 22:35:17 +0200
Subject: [PATCH] Rename windows workflow and update

---
 .github/workflows/{windows.yaml => windows-msvc.yaml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{windows.yaml => windows-msvc.yaml} (100%)

diff --git a/.github/workflows/windows.yaml b/.github/workflows/windows-msvc.yaml
similarity index 100%
rename from .github/workflows/windows.yaml
rename to .github/workflows/windows-msvc.yaml