Skip to content
Security Policy

chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism #312

Sign in to view logs

chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism

chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism #312

Triggered via pull request May 1, 2026 08:38
@hyperpolymathhyperpolymath
synchronize #36
chore/recognise-agda-and-echo-types
Status Success
Total duration 25s
Artifacts –

security-policy.yml

on: pull_request
check
6s
check
Fit to window
Zoom out
Zoom in