Skip to content
Rust Tests

NonZero (unchecked_mul & unchecked_add) Proof for Contracts #1646

Sign in to view logs

NonZero (unchecked_mul & unchecked_add) Proof for Contracts

NonZero (unchecked_mul & unchecked_add) Proof for Contracts #1646

Triggered via pull request April 24, 2025 11:16
@tautschnigtautschnig
synchronize #338
tautschnig:unchecked_mull_add
Status Failure
Total duration 4m 37s
Artifacts –

rustc.yml

on: pull_request
Matrix: upstream_test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
upstream_test (ubuntu-latest)
Process completed with exit code 1.
upstream_test (macos-latest)
The operation was canceled.
upstream_test (macos-latest)
The strategy configuration was canceled because "upstream_test.ubuntu-latest" failed