Skip to content

use intermediate satisfier causes in priority statistics #1231

use intermediate satisfier causes in priority statistics

use intermediate satisfier causes in priority statistics #1231

Triggered via pull request December 6, 2024 03:44
Status Failure
Total duration 1m 0s
Artifacts

ci.yml

on: pull_request
Tests pass
51s
Tests pass
No warnings from Clippy
9s
No warnings from Clippy
Source code is formatted
4s
Source code is formatted
Documentation builds successfully
11s
Documentation builds successfully
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
Tests pass
Process completed with exit code 101.
Source code is formatted
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Documentation builds successfully
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
No warnings from Clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests pass
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636