Add basic support for RPIT · creusot-rs/creusot@c7cb87e

Triggered via pull request February 8, 2025 14:15

xldenis

synchronize #1351

rpit

Status Failure

Total duration 3m 38s

Artifacts 1

rust.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
why3-deps	85.3 MB