Skip to content
SCIP

remove in previous commit but did not update the help text #1851

Sign in to view logs

remove in previous commit but did not update the help text

remove in previous commit but did not update the help text #1851

Triggered via push December 8, 2025 15:33
@burmudarburmudar
pushed 2e87b81
wb/update-help-text
Status Success
Total duration 1m 7s
Artifacts –

scip.yml

on: push
scip-go
1m 4s
scip-go
Fit to window
Zoom out
Zoom in