Skip to content
Agda Meta-Checker

chore(deps): bump capnpc from 0.26.0 to 0.27.0 #152

Sign in to view logs

chore(deps): bump capnpc from 0.26.0 to 0.27.0

chore(deps): bump capnpc from 0.26.0 to 0.27.0 #152

Triggered via pull request August 7, 2026 13:51
@dependabotdependabot[bot]
synchronize #350
dependabot/cargo/capnpc-0.27.0
Status Success
Total duration 3m 41s
Artifacts –

agda-meta-checker.yml

on: pull_request
Type-check Agda proofs
20s
Type-check Agda proofs
Fit to window
Zoom out
Zoom in