The actions actions/checkout@v4, ossf/[email protected], and github/codeql-action/upload-sarif@v3 are not allowed in hyperpolymath/echidna because all actions must be pinned to a full-length commit SHA.