Agda

ci(antipattern): allowlist legit TS bridge/adapter paths #249

Sign in to view logs

Triggered via push May 3, 2026 15:34

ci/antipattern-allowlist-bridges

Status Success

Total duration 29m 19s

Artifacts –

agda.yml

on: push