Repository navigation

skip SCIP_ERROR line in coverage - #1098

Closed

Joao-Dionisio wants to merge 2 commits into

suppress-coverage-error

Closed

skip SCIP_ERROR line in coverage#1098
Joao-Dionisio wants to merge 2 commits into
masterfrom
suppress-coverage-error

Commits on Oct 30, 2025
- skip SCIP_ERROR line in coverage
  Joao-Dionisio
  committed
  19a507c
- attempt 2
  Joao-Dionisio
  committed
  3b99499