Agda Meta-Checker

chore(deps): bump capnp from 0.26.0 to 0.27.0 #150

Sign in to view logs

Triggered via pull request August 7, 2026 13:50

dependabot[bot]

synchronize #349

dependabot/cargo/capnp-0.27.0

Status Success

Total duration 1m 34s

Artifacts –

agda-meta-checker.yml

on: pull_request

Type-check Agda proofs