Skip to content
NPM/Bun Blocker

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

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

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

npm-bun-blocker.yml

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