Skip to content
SCIP

fix: don't upload SCIP index to dotcom (#352) #488

Sign in to view logs

fix: don't upload SCIP index to dotcom (#352)

fix: don't upload SCIP index to dotcom (#352) #488

Triggered via push October 3, 2025 20:43
@jupblbjupblb
pushed 56805d8
main
Status Success
Total duration 33s
Artifacts –

scip.yml

on: push
scip-go
25s
scip-go
Fit to window
Zoom out
Zoom in