A proof of sparse_array without Why3ide. (#1340) · creusot-rs/creusot@ecd467d

Triggered via push February 4, 2025 10:05

jhjourdan

master

Status Success

Total duration 3m 38s

Artifacts 1

rust.yml

on: push

Produced during runtime

Name	Size	Digest
why3-deps	85.3 MB	`sha256:46e16bc5f0988acb15c3b84c7e0d760aa4908988a49ba0b266907deabc99529e`