Rust

Install why3 and why3find in local switch #4715

Sign in to view logs

Triggered via pull request February 20, 2025 14:44

Lysxia

opened #1373

install-opam

Status Success

Total duration 4m 45s

Artifacts 1

rust.yml

on: pull_request

contracts-build

contracts-build-stable

Artifacts

Produced during runtime

Name	Size
why3-deps	78.2 MB