Idris2 ABI Type-Check

chore(deps): bump rmcp from 2.2.0 to 3.1.2 #262

Sign in to view logs

Triggered via pull request August 14, 2026 08:10

dependabot[bot]

opened #357

dependabot/cargo/rmcp-3.1.2

Status Success

Total duration 28s

Artifacts –

idris2-abi-ci.yml

on: pull_request

Type-check Idris2 ABI definitions