Add test 1342. (#1345) · creusot-rs/creusot@271e399

Triggered via push February 5, 2025 13:16

jhjourdan

master

Status Success

Total duration 3m 44s

Artifacts 1

rust.yml

on: push

Produced during runtime

Name	Size	Digest
why3-deps	85.3 MB	`sha256:328dedf77a3f12bfe8c80cf48d2818bc58dcd73f325100b3113920c5337fe54c`