Proof Corpus

chore(deps): bump the cargo group with 4 updates #16

Sign in to view logs

Triggered via pull request June 9, 2026 16:55

synchronize #32

dependabot/cargo/cargo-b69e49ff37

Status Success

Total duration 8m 15s

Artifacts –

proof-corpus.yml

on: pull_request

idris2 0.8.0 --build git-reticulator-proofs