Agda Meta-Checker

feat(labels): estate label tooling + auto-triage for new issues #176

Sign in to view logs

Triggered via pull request August 27, 2026 14:19

synchronize #370

automated/label-tooling

Status Success

Total duration 1h 4m 3s

Artifacts –

agda-meta-checker.yml

on: pull_request

Type-check Agda proofs