Merge branch 'main' into chore/more-platforms

Author: lucacome

.github/workflows/ci.yml

@@ -191,7 +191,7 @@ jobs:
         continue-on-error: true
 
       - name: Build and Push Docker Image
-        uses: docker/build-push-action@5cd11c3a4ced054e52742c5fd54dca954e0edd85 # v6.7.0
+        uses: docker/build-push-action@4f58ea79222b3b9dc2c8bbdd6debcef730109a75 # v6.9.0
         with:
           file: build/Dockerfile
           context: "."

.github/workflows/lint.yml

@@ -42,7 +42,7 @@ jobs:
         uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
 
       - name: Lint Actions
-        uses: reviewdog/action-actionlint@15a7a477ab5ab768a41c39b2c53970bf151c73f3 # v1.56.0
+        uses: reviewdog/action-actionlint@7eeec1dd160c2301eb28e1568721837d084558ad # v1.57.0
         with:
           actionlint_flags: -shellcheck ""