Push email notification

ABI: make Idris2 proofs genuinely compile + add machine-checked theor… #12

Sign in to view logs

Triggered via push June 26, 2026 14:52

main

Status Skipped

Total duration 1s

Artifacts –

push-email-notify.yml

on: push