diff --git a/.github/workflows/klee.yaml b/.github/workflows/klee.yaml index 726c6c2..4c93182 100644 --- a/.github/workflows/klee.yaml +++ b/.github/workflows/klee.yaml @@ -51,7 +51,7 @@ jobs: sudo apt-get install -y nodejs - name: Harden Runner - uses: step-security/harden-runner@1b05615854632b887b69ae1be8cbefe72d3ae423 # v2.6.0 + uses: step-security/harden-runner@eb238b55efaa70779f274895e782ed17c84f2895 # v2.6.1 with: egress-policy: audit