Skip to content

Add loop invariants and harnesses for DecimalSeq functions #2016

Add loop invariants and harnesses for DecimalSeq functions

Add loop invariants and harnesses for DecimalSeq functions #2016

Triggered via pull request August 1, 2025 19:56
Status Failure
Total duration 4m 22s
Artifacts

rustc.yml

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

Annotations

3 errors and 2 notices
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
upstream_test (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
upstream_test (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520