Skip to content
RSR Anti-Pattern Check

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

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 #279

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

rsr-antipattern.yml

on: pull_request
antipattern-check
4s
antipattern-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
antipattern-check
Process completed with exit code 1.