From: Daniel Arndt Date: Fri, 30 May 2025 21:03:07 +0000 (-0400) Subject: Update Windows CI X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ae5c6aecd3130154def443296b1b3e128f5351c8;p=dealii.git Update Windows CI --- diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index 19f8097d58..922a450870 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -40,7 +40,7 @@ jobs: strategy: fail-fast: false matrix: - os: [windows-2019, windows-2022] + os: [windows-2022, windows-2025] steps: - uses: actions/checkout@v4 @@ -67,7 +67,7 @@ jobs: ctest --test-dir build --build-config Debug --extra-verbose - name: upload library # run only if a PR is merged into master - if: ${{ github.ref == 'refs/heads/master' && matrix.os == 'windows-2022' }} + if: ${{ github.ref == 'refs/heads/master' && matrix.os == 'windows-2025' }} uses: actions/upload-artifact@v4 with: name: dealii-${{ matrix.os }}