Skip to content

Fix QA/Core CI: drop unmatched sublibrary [sources] from test/qa/Proj… #30

Fix QA/Core CI: drop unmatched sublibrary [sources] from test/qa/Proj…

Fix QA/Core CI: drop unmatched sublibrary [sources] from test/qa/Proj… #30

Triggered via push June 17, 2026 10:41
Status Failure
Total duration 7m 50s
Artifacts
downgrade-sublibraries  /  discover
4s
downgrade-sublibraries / discover
Matrix: downgrade-sublibraries / test
Fit to window
Zoom out
Zoom in

Annotations

1 error
downgrade-sublibraries / test (lib/BVProblemLibrary)
Process completed with exit code 1.