Add more SAT resolver tests #12871

Sign in to view logs

Triggered via pull request October 6, 2024 20:53

x-hgg-x

synchronize #14614

x-hgg-x:more-sat-resolver-tests

Status Failure

Total duration 30m 3s

Artifacts –

main.yml

on: pull_request

Matrix: test

check-version-bump

bors build finished

bors build finished

Annotations

2 errors

Process completed with exit code 101.

Process completed with exit code 1.