Skip to content

Add more SAT resolver tests #12794

Add more SAT resolver tests

Add more SAT resolver tests #12794

Triggered via pull request October 1, 2024 18:21
Status Cancelled
Total duration 10m 6s
Artifacts

main.yml

on: pull_request
Matrix: test
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

18 errors
Tests Windows x86_64 MSVC stable
Canceling since a higher priority waiting request for 'CI-refs/pull/14614/merge' exists
Tests Windows x86_64 MSVC stable
The operation was canceled.
Tests Windows x86_64 gnu nightly
Canceling since a higher priority waiting request for 'CI-refs/pull/14614/merge' exists
Tests Windows x86_64 gnu nightly
The operation was canceled.
Tests Linux x86_64 stable
Canceling since a higher priority waiting request for 'CI-refs/pull/14614/merge' exists
Tests Linux x86_64 stable
The operation was canceled.
check-version-bump
Canceling since a higher priority waiting request for 'CI-refs/pull/14614/merge' exists
check-version-bump
The operation was canceled.
Tests Linux x86_64 nightly
Canceling since a higher priority waiting request for 'CI-refs/pull/14614/merge' exists
Tests Linux x86_64 nightly
The operation was canceled.
Tests Linux x86_64 beta
Canceling since a higher priority waiting request for 'CI-refs/pull/14614/merge' exists
Tests Linux x86_64 beta
The operation was canceled.
Tests macOS aarch64 nightly
Canceling since a higher priority waiting request for 'CI-refs/pull/14614/merge' exists
Tests macOS aarch64 nightly
The operation was canceled.
Tests macOS aarch64 stable
Canceling since a higher priority waiting request for 'CI-refs/pull/14614/merge' exists
Tests macOS aarch64 stable
The operation was canceled.
Tests macOS x86_64 nightly
Canceling since a higher priority waiting request for 'CI-refs/pull/14614/merge' exists
Tests macOS x86_64 nightly
The operation was canceled.