Skip to content

Add ability of scip encoder to merge multiple scips #4657

Add ability of scip encoder to merge multiple scips

Add ability of scip encoder to merge multiple scips #4657

Triggered via push July 22, 2025 17:43
Status Failure
Total duration 4m 53s
Artifacts 1

ci.yml

on: push
Matrix: ci
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
ci (9.6.7, gcc, 2025-04-14T00:00:00Z)
Process completed with exit code 1.
ci (9.2.8, gcc, 2025-04-14T00:00:00Z)
Process completed with exit code 1.
ci (9.4.7, gcc, 2025-04-14T00:00:00Z)
Process completed with exit code 1.
vscode
LICENSE.md, LICENSE.txt or LICENSE not found

Artifacts

Produced during runtime
Name Size Digest
glean-vsix Expired
17.3 KB
sha256:003079a8367d10b28886e94dfc93b63c73dbf557b02183b121ce13bfd7656e70