changeset 30704:ec36fe975d2d stable

GitHub-CI (windows): Track the "windows-latest" label. * .github/workflow/make.yaml (windows): Don't pin to a specific Windows version. Let GitHub decide when it is a good time to switch their load to newer Windows versions.
author Markus Mützel <markus.muetzel@gmx.de>
date Wed, 02 Feb 2022 18:41:03 +0100
parents 36be88bf3525
children b7c19b01cfc8 6fff5d9291ce
files .github/workflows/make.yaml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/.github/workflows/make.yaml	Wed Feb 02 13:16:33 2022 +0100
+++ b/.github/workflows/make.yaml	Wed Feb 02 18:41:03 2022 +0100
@@ -308,7 +308,7 @@
 
       matrix:
         # For available GitHub-hosted runners, see: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners
-        os: [windows-2019]
+        os: [windows-latest]
         compiler: [gcc]
         target: [x86_64, i686]
         include: