Skip to content

Weight data points in a skewed manner #5199

Weight data points in a skewed manner

Weight data points in a skewed manner #5199

Triggered via pull request August 13, 2025 23:48
Status Failure
Total duration 2m 49s
Artifacts

ci.yml

on: pull_request
Matrix: Kani Proofs
Matrix: Rust Actions (Check/Fmt/Clippy)
Fit to window
Zoom out
Zoom in

Annotations

17 errors, 1 warning, and 6 notices
Rust Actions (Check/Fmt/Clippy) (macos-latest, check)
Process completed with exit code 101.
Test Suite
Process completed with exit code 101.
Kani Proofs (lading_payload)
Process completed with exit code 1.
Kani Proofs (lading_throttle)
The operation was canceled.
Kani Proofs (lading_throttle)
The strategy configuration was canceled because "kani.lading_payload" failed
Rust Actions (Check/Fmt/Clippy) (macos-latest, clippy)
Process completed with exit code 101.
Integration Tests
Process completed with exit code 101.
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, clippy)
Process completed with exit code 101.
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, check)
Process completed with exit code 101.
buf
No github_token supplied, API requests will be subject to stricter rate limiting
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt)
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
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt)
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
Rust Actions (Check/Fmt/Clippy) (macos-latest, check)
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
Rust Actions (Check/Fmt/Clippy) (macos-latest, check)
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
Rust Actions (Check/Fmt/Clippy) (macos-latest, clippy)
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
Rust Actions (Check/Fmt/Clippy) (macos-latest, clippy)
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