Move creusot/tests to tests · creusot-rs/creusot@a1ffd42

Triggered via pull request February 21, 2025 15:38

Lysxia

synchronize #1375

move-tests

Status Failure

Total duration 9m 24s

Artifacts 1

rust.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
why3-deps	78.2 MB