Agda

ci(antipattern): fix top-level dir matching + benchmarks/lsp/bench fi… #261

Sign in to view logs

Triggered via push May 3, 2026 21:17

ci/antipattern-dynamic-exemptions-v3-1

Status Success

Total duration 1h 22m 45s

Artifacts –

agda.yml

on: push