Skip to content
Documentation Format Enforcement

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

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

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

doc-format.yml

on: pull_request
Check Documentation Format
4s
Check Documentation Format
Fit to window
Zoom out
Zoom in