Repository navigation

CodeQL Security Analysis

ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail #342

Sign in to view logs

Triggered via pull request July 7, 2026 20:13

opened #161

ci/echidna-lean-via-elan

Status Success

Total duration 1m 3s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze

Annotations

1 warning

analyze (actions, none)

Error retrieving diff main...hyperpolymath:ci/echidna-lean-via-elan: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits