Skip to content
Rust

test why3: add --no-cache and // TIME (\d+) options #4655

Sign in to view logs

test why3: add --no-cache and // TIME (\d+) options

test why3: add --no-cache and // TIME (\d+) options #4655

Triggered via pull request February 15, 2025 06:47
@jhjourdanjhjourdan
synchronize #1354
test-enhancements
Status Failure
Total duration 4m 39s
Artifacts –

rust.yml

on: pull_request
why3-deps
1m 8s
why3-deps
fmt
48s
fmt
contracts-build
50s
contracts-build
build
4m 31s
build
why3
0s
why3
install
0s
install
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
why3-deps
Process completed with exit code 10.
contracts-build
Cache not found for keys: Linux-contracts-
why3-deps
Cache not found for keys: Linux-opam-0b2b3167c87f5bda530be1854f5ed408138ca59bc6e96280c7c8b73f5cef987f
build
Cache not found for keys: Linux-cargo-87fa6913e0002693427b9754a621c7bc6c38d0ae39a1fa4a47ff5ae2dc2d0f92