Proof Corpus

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

Sign in to view logs

Triggered via pull request June 9, 2026 11:15

dependabot[bot]

opened #32

dependabot/cargo/cargo-b69e49ff37

Status Success

Total duration 7m 53s

Artifacts –

proof-corpus.yml

on: pull_request

idris2 0.8.0 --build git-reticulator-proofs