Agda Meta-Checker

chore(deps): bump rmcp from 2.2.0 to 3.1.0 #151

Sign in to view logs

Triggered via pull request August 7, 2026 13:50

dependabot[bot]

synchronize #348

dependabot/cargo/rmcp-3.1.0

Status Success

Total duration 4m 14s

Artifacts –

agda-meta-checker.yml

on: pull_request

Type-check Agda proofs