Rust

Install why3 and why3find in local switch #4732

Sign in to view logs

Triggered via pull request February 24, 2025 09:15

Lysxia

synchronize #1373

install-opam

Status Failure

Total duration 1m 43s

Artifacts –

rust.yml

on: pull_request

contracts-build

contracts-build-stable

Annotations

1 error

The process '/opt/hostedtoolcache/opam/2.3.0/x86_64/opam' failed with exit code 50