Rust

Ghost macro inline (#1367) #4717

Sign in to view logs

Triggered via push February 20, 2025 14:45

jhjourdan

master

Status Success

Total duration 5m 18s

Artifacts 1

rust.yml

on: push

contracts-build

contracts-build-stable

Artifacts

Produced during runtime

Name	Size
why3-deps	78.2 MB