Skip to content
Duvet report

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

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 #3420

Triggered via pull request November 15, 2024 17:16
@RitvikKapilaRitvikKapila
synchronize #1004
feature/rust-interop
Status Success
Total duration 1m 21s
Artifacts 1

duvet.yaml

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

Artifacts

Produced during runtime
Name Size
specification_compliance_report
316 KB