Merge branch 'main' of https://github.com/jakoch/jupyter-devbox

Author: jakoch

.github/workflows/release.yml

@@ -23,16 +23,16 @@ jobs:
 
     steps:
       - name: ✂️ Free Disk Space
-        uses: jlumbroso/free-disk-space@main # https://github.com/jlumbroso/free-disk-space
+        uses: jlumbroso/free-disk-space@v1.3.0 # https://github.com/jlumbroso/free-disk-space
         with:
           tool-cache: true
           docker-images: false
 
       - name: 🤘 Checkout Code
-        uses: actions/checkout@v3 # https://github.com/actions/checkout
+        uses: actions/checkout@v4 # https://github.com/actions/checkout
 
       - name: 🔒 Login to Container Registry
-        uses: docker/login-action@v2 # https://github.com/docker/login-action
+        uses: docker/login-action@v3 # https://github.com/docker/login-action
         with:
           registry: ghcr.io
           username: ${{ github.actor }}
@@ -81,6 +81,6 @@ jobs:
           ignore-unfixed: true
 
       - name: 🛡️🔼 Upload scan results to GitHub Security tab
-        uses: github/codeql-action/upload-sarif@v2 # https://github.com/github/codeql-action
+        uses: github/codeql-action/upload-sarif@v3 # https://github.com/github/codeql-action
         with:
           sarif_file: 'trivy-results.sarif'

.hadolint

@@ -0,0 +1,9 @@
+ignored:
+  - DL3008
+  - DL3009
+  - DL3013
+  - DL3015
+  - DL3042
+trustedRegistries:
+  - docker.io
+  - ghcr.io