Skip to content
Agda

ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#37) #259

Sign in to view logs

ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#37)

ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#37) #259

Triggered via push May 3, 2026 20:31
@hyperpolymathhyperpolymath
pushed cdf866b
main
Status Success
Total duration 28m 21s
Artifacts –

agda.yml

on: push
check
2m 46s
check
Fit to window
Zoom out
Zoom in