SCIP

remove CLI flag #1264

Sign in to view logs

Triggered via push February 27, 2025 10:52

antonsviridov-src

allow-compressed-scip-uploads

Status Success

Total duration 1m 21s

Artifacts –

scip.yml

on: push