Skip to content
Build Benchmarks

Merge pull request #3 from verus-lang/crates-io #24

Sign in to view logs

Merge pull request #3 from verus-lang/crates-io

Merge pull request #3 from verus-lang/crates-io #24

Triggered via push July 30, 2025 18:02
@parnoparno
pushed 17a5aa3
main
Status Failure
Total duration 7m 54s
Artifacts –

build-benchmarks.yml

on: push
Upstream Node-Replication Benchmark
7m 49s
Upstream Node-Replication Benchmark
Verified Node-Replication Benchmark
1m 35s
Verified Node-Replication Benchmark
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Verified Node-Replication Benchmark
Process completed with exit code 101.
Verified Node-Replication Benchmark
Cache not found for keys: v0-rust-verified-Linux-x64-07f77117-88a1d9c0, v0-rust-verified-Linux-x64-07f77117
Upstream Node-Replication Benchmark
Cache not found for keys: v0-rust-upstream-Linux-x64-07f77117-88a1d9c0, v0-rust-upstream-Linux-x64-07f77117