Merge pull request #1756 from albinahlback/update_ci

Update CI

Author: albinahlback

.github/workflows/CI.yml

@@ -88,7 +88,7 @@ jobs:
           lcov -j $(expr $(nproc) + 1) --capture --omit-lines "flint_throw" --omit-lines '^}$' --exclude "*test/t-*.c" --exclude "*test/main.c" --exclude "/usr/*" --directory build --output-file build/coverage/coverage.info
 
       - name: "Upload coverage data"
-        uses: codecov/codecov-action@v3.1.4
+        uses: codecov/codecov-action@v3.1.5
         if: github.repository == 'flintlib/flint'
         with:
           files: build/coverage/coverage.info
@@ -519,7 +519,7 @@ jobs:
       - uses: actions/checkout@v4
 
       - name: "Setup cache for dependencies"
-        uses: actions/github-script@v6
+        uses: actions/github-script@v7
         with:
           script: |
             core.exportVariable('ACTIONS_CACHE_URL', process.env.ACTIONS_CACHE_URL || '');
@@ -530,7 +530,7 @@ jobs:
           vcpkg install gmp mpfr pthreads --binarysource="clear;x-gha,readwrite"
 
       - name: "Setup MSVC"
-        uses: ilammy/msvc-dev-cmd@v1.12.1
+        uses: ilammy/msvc-dev-cmd@v1.13.0
         with:
           arch: x86_64
           toolset: 14.37.32822