Idris2 ABI Type-Check

chore(deps): bump uuid from 1.24.0 to 1.25.0 #282

Sign in to view logs

Triggered via pull request August 28, 2026 09:31

synchronize #371

dependabot/cargo/uuid-1.25.0

Status Success

Total duration 24s

Artifacts –

idris2-abi-ci.yml

on: pull_request

Type-check Idris2 ABI definitions