SCIP

rename variable #2065

Sign in to view logs

Triggered via push March 10, 2026 16:24

peterguy

peterguy/clean-up-config

Status Success

Total duration 1m 14s

Artifacts –

scip.yml

on: push