Skip to content
Duvet report

feat(Rust): Interop test vectors; bump Dafny to 4.9.0 #3453

Sign in to view logs

feat(Rust): Interop test vectors; bump Dafny to 4.9.0

feat(Rust): Interop test vectors; bump Dafny to 4.9.0 #3453

Triggered via pull request November 18, 2024 00:05
@RitvikKapilaRitvikKapila
synchronize #1004
feature/rust-interop
Status Success
Total duration 1m 32s
Artifacts 1

duvet.yaml

on: pull_request
duvet
1m 9s
duvet
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
specification_compliance_report
316 KB