Agda Meta-Checker

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

Sign in to view logs

Triggered via pull request August 27, 2026 17:05

synchronize #370

automated/label-tooling

Status Success

Total duration 8m 18s

Artifacts –

agda-meta-checker.yml

on: pull_request

Type-check Agda proofs