Skip to content
Agda

ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*) #254

Sign in to view logs

ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*)

ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*) #254

Triggered via pull request May 3, 2026 16:18
@hyperpolymathhyperpolymath
opened #36
ci/antipattern-allowlist-v2
Status Success
Total duration 1h 17m 16s
Artifacts –

agda.yml

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