Agda

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

Sign in to view logs

Triggered via push May 3, 2026 16:18

ci/antipattern-allowlist-v2

Status Success

Total duration 1h 17m 16s

Artifacts –

agda.yml

on: push