Idris2 ABI Type-Check

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

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 2m 19s

Artifacts –

idris2-abi-ci.yml

on: pull_request

Type-check Idris2 ABI definitions