Repository navigation
chore(deps): bump hyperpolymath/smtp-notify-action from 0.1.0 to 0.2.0 in the actions group #26
Triggered via pull request
September 12, 2026 13:44
hyperpolymath
Status
Success
Total duration
1m 40s
Artifacts
–
proofs.yml
on: pull_request
Coq — CNO + OND (14 theories)
29s
Agda — CNO + OND
1m 36s
Z3 — CNO + OND bounded checks
15s