Repository navigation

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

Merged

hyperpolymath merged 1 commit into

mainfrom

ci/echidna-lean-via-elan

Jul 7, 2026

Merged

ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail#161
hyperpolymath merged 1 commit into
mainfrom
ci/echidna-lean-via-elan

Commits on Jul 7, 2026
- ci: install Lean via elan in ECHIDNA + drop duplicate trufflehog --fail
  
  hyperpolymath
  and
  claude
  committed
  8001e89