Skip to content
SCIP

Merge branch 'main' into wb/remove-deepsearch-endpoint #1895

Sign in to view logs

Merge branch 'main' into wb/remove-deepsearch-endpoint

Merge branch 'main' into wb/remove-deepsearch-endpoint #1895

Triggered via push December 11, 2025 08:42
@burmudarburmudar
pushed 3513197
wb/remove-deepsearch-endpoint
Status Success
Total duration 1m 4s
Artifacts –

scip.yml

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