Skip to content
CI

use intermediate satisfier causes in priority statistics #1292

Sign in to view logs

use intermediate satisfier causes in priority statistics

use intermediate satisfier causes in priority statistics #1292

Triggered via pull request December 26, 2024 22:26
@Eh2406Eh2406
synchronize #291
Eh2406:conflict_count
Status Success
Total duration 55s
Artifacts –

ci.yml

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

Annotations

4 warnings
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