Skip to content
Rust

Bitwise operators #4664

Sign in to view logs

Bitwise operators

Bitwise operators #4664

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

rust.yml

on: pull_request
why3-deps
3m 28s
why3-deps
fmt
23s
fmt
contracts-build
28s
contracts-build
build
2m 18s
build
why3
8m 51s
why3
install
2m 0s
install
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
why3
Process completed with exit code 1.
why3-deps
Cache not found for keys: Linux-opam-0b2b3167c87f5bda530be1854f5ed408138ca59bc6e96280c7c8b73f5cef987f
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