ci: merge main to release (pull request #7153)

ci: merge main to release

.github/workflows/build.yml

@@ -150,7 +150,7 @@ jobs:
         
     - name: Download a Coverage Results
       if: ${{ github.event.inputs.skiptests == 'false' || github.ref_name == 'release' }}
-      uses: actions/download-artifact@v4.1.2
+      uses: actions/download-artifact@v4.1.4
       with:
         name: coverage
 
@@ -374,7 +374,7 @@ jobs:
     - uses: actions/checkout@v4
         
     - name: Download a Release Artifact
-      uses: actions/download-artifact@v4.1.2
+      uses: actions/download-artifact@v4.1.4
       with:
         name: release-${{ env.PKG_VERSION }}
         
@@ -410,7 +410,7 @@ jobs:
       
     steps:
     - name: Download a Release Artifact
-      uses: actions/download-artifact@v4.1.2
+      uses: actions/download-artifact@v4.1.4
       with:
         name: release-${{ env.PKG_VERSION }}
         path: /a/www/ietf-datatracker/main.dev.${{ github.run_number }}

.github/workflows/tests.yml

@@ -59,7 +59,7 @@ jobs:
         path: geckodriver.log
 
     - name: Upload Coverage Results to Codecov
-      uses: codecov/codecov-action@v4.0.1
+      uses: codecov/codecov-action@v4.1.0
       with:
         files: coverage.xml