Rust CI

proof(idris2/abi): port to Idris2 0.8.0 syntax; add ipkg for verifiab… #128

Sign in to view logs

Triggered via push May 25, 2026 14:25

claude/upbeat-mendel-lBO9G

Status Success

Total duration 7m 49s

Artifacts –

rust-ci.yml

on: push