Skip to content
Rust

Bitwise operators #4653

Sign in to view logs

Bitwise operators

Bitwise operators #4653

Triggered via pull request February 14, 2025 23:39
@jhjourdanjhjourdan
synchronize #1357
bitwise_operators
Status Failure
Total duration 9m 35s
Artifacts 1

rust.yml

on: pull_request
why3-deps
27s
why3-deps
fmt
24s
fmt
contracts-build
22s
contracts-build
build
2m 16s
build
why3
8m 49s
why3
install
1m 57s
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
85.3 MB