Agda

ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vsco… #256

Sign in to view logs

Triggered via push May 3, 2026 20:31

ci/antipattern-dynamic-exemptions

Status Success

Total duration 22m 57s

Artifacts –

agda.yml

on: push