Agda

chore: RSR template floor (23 files: githealth + RSR docs + dotfiles … #248

Sign in to view logs

Triggered via push May 3, 2026 15:34

ci/antipattern-allowlist-bridges

Status Success

Total duration 29m 28s

Artifacts –

agda.yml

on: push