Add more SAT resolver tests #12827

Sign in to view logs

Triggered via pull request October 3, 2024 08:30

x-hgg-x

synchronize #14614

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

Status Failure

Total duration 30m 29s

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.