Rust

Move creusot/tests to tests (#1375) #4725

Sign in to view logs

Triggered via push February 21, 2025 16:43

Lysxia

master

Status Success

Total duration 9m 26s

Artifacts 1

rust.yml

on: push

contracts-build

contracts-build-stable

Artifacts

Produced during runtime

Name	Size
why3-deps	78.2 MB