chore(ci): pin github actions

This commit is contained in:
Matthias
2025-04-22 06:56:45 +02:00
parent 3da6a8146e
commit 5b481009d6
3 changed files with 3 additions and 3 deletions

View File

@@ -34,7 +34,7 @@ jobs:
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Pre-build dev container image
uses: devcontainers/ci@v0.3
uses: devcontainers/ci@8bf61b26e9c3a98f69cb6ce2f88d24ff59b785c6 # v0.3.19
with:
subFolder: .github
imageName: ghcr.io/${{ github.repository }}-devcontainer