CI

chore/ci: remove broken SCIP upload workflow #115

Sign in to view logs

Triggered via pull request July 31, 2026 09:30

opened #100

k/remove-broken-scip-upload

Status Success

Total duration 22s

Artifacts –

ci.yml

on: pull_request

Matrix: test