Agda Meta-Checker

chore(deps): bump rmcp from 2.1.0 to 2.2.0 #86

Sign in to view logs

Triggered via pull request July 10, 2026 08:09

dependabot[bot]

opened #315

dependabot/cargo/rmcp-2.2.0

Status Success

Total duration 23s

Artifacts –

agda-meta-checker.yml

on: pull_request

Type-check Agda proofs