docker-scip

chore: Add formatting step in pyright-scip & update CI pipeline #165

Sign in to view logs

Triggered via pull request August 15, 2025 10:12

varungandhi-src

synchronize #185

vg/housekeeping

Status Success

Total duration 1m 32s

Artifacts –

scip-docker.yml

on: pull_request