Skip to content
Rust

Bitwise operators #4665

Sign in to view logs

Bitwise operators

Bitwise operators #4665

Triggered via pull request February 15, 2025 09:11
@jhjourdanjhjourdan
synchronize #1357
bitwise_operators
Status Failure
Total duration 9m 34s
Artifacts 1

rust.yml

on: pull_request
why3-deps
20s
why3-deps
fmt
23s
fmt
contracts-build
29s
contracts-build
build
2m 29s
build
why3
8m 56s
why3
install
2m 10s
install
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
why3
Process completed with exit code 1.
why3
Cache not found for keys: Linux-cargo-creusot-setup-380522628503acfca8b0d3d811c06fef561b6b93d2d21b81827579c94bde7dba
why3
Cache not found for keys: Linux-cargo-creusot-d3c67baa3efc81b28e5245d22c9913bbd37813476b3ea8dd58f0b184d8693239

Artifacts

Produced during runtime
Name Size
why3-deps
78.2 MB