Rust

Move prelude build script into creusot-install (#1371) #4708

Sign in to view logs

Triggered via push February 20, 2025 10:31

jhjourdan

master

Status Failure

Total duration 9m 39s

Artifacts 1

rust.yml

on: push

contracts-build

contracts-build-stable

Annotations

1 error

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size
why3-deps	78.2 MB