Import int prelude when using an integer variant. · creusot-rs/creusot@8ea32f9

Triggered via pull request February 5, 2025 10:26

jhjourdan

opened #1344

fix_1342

Status Success

Total duration 3m 48s

Artifacts 1

rust.yml

on: pull_request

Produced during runtime

Name	Size	Digest
why3-deps	85.3 MB	`sha256:6bdb14bd8a237b062808c52201a6ffde42b8aa9d6505213da632ac30132d17ce`