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 2m 59s

Artifacts 3

deploy.yml

on: push

Produced during runtime