Import int prelude when using an integer variant. (#1344) · creusot-rs/creusot@a3ecf47

Triggered via push February 5, 2025 10:29

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:045687e49c59afa487bd7eaffb1a971a21d819ae316daf3429b0eb6794cf3444`