Cargo Build

regroup optionals in proofs #6243

Sign in to view logs

Triggered via pull request October 25, 2024 16:17

synchronize #1631

mz/regroup_optionals_in_proofs

Status Success

Total duration 44m 44s

Billable time 45m

Artifacts –

cargo_build.yml

on: pull_request

Matrix: cargo-builds