Skip to content

Merge branch 'main' into fix-improve-error-messages #1994

Merge branch 'main' into fix-improve-error-messages

Merge branch 'main' into fix-improve-error-messages #1994

Triggered via push February 27, 2026 10:43
Status Success
Total duration 1m 9s
Artifacts

scip.yml

on: push
Fit to window
Zoom out
Zoom in