Skip to content
Push email notification

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

Sign in to view logs

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

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

Triggered via push July 7, 2026 20:12
@hyperpolymathhyperpolymath
pushed 8001e89
ci/echidna-lean-via-elan
Status Skipped
Total duration 1s
Artifacts –

push-email-notify.yml

on: push
Email on push
Email on push
Fit to window
Zoom out
Zoom in