Skip to content
Agda

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

Sign in to view logs

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

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

Triggered via pull request May 3, 2026 20:31
@hyperpolymathhyperpolymath
opened #37
ci/antipattern-dynamic-exemptions
Status Success
Total duration 28m 17s
Artifacts –

agda.yml

on: pull_request
check
2m 48s
check
Fit to window
Zoom out
Zoom in