Skip to content
TypeScript / JavaScript / ReScript Blocker

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 14s
Artifacts –

ts-blocker.yml

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