Repository navigation

[CI] Pin GitHub actions - #369

Merged

max-leuthaeuser merged 2 commits into

pin-github-actions

Oct 20, 2026

Merged

[CI] Pin GitHub actions#369
max-leuthaeuser merged 2 commits into
masterfrom
pin-github-actions

Commits on Oct 20, 2026
- [CI] pin GitHub actions to commit hashes (aligned with joern)
  max-leuthaeuser
  committed
  7b6a34e
- [CI] add dependabot config for github-actions
  max-leuthaeuser
  committed
  a6de108