Repository navigation

Push email notification

ci: fix ECHIDNA scheduled red + Secret Scanner startup_failure #31

Sign in to view logs

Triggered via push July 7, 2026 10:10

ci/fix-echidna-isabelle-secret-scanner-perms

Status Skipped

Total duration 8s

Artifacts –

push-email-notify.yml

on: push