Skip to content
SCIP

Merge branch 'main' into wg/rel/fix-promote-finalize-github-pr #385

Sign in to view logs

Merge branch 'main' into wg/rel/fix-promote-finalize-github-pr

Merge branch 'main' into wg/rel/fix-promote-finalize-github-pr #385

Triggered via push June 24, 2025 16:44
@DaedalusGDaedalusG
pushed d0fb5ae
wg/rel/fix-promote-finalize-github-pr
Status Success
Total duration 26s
Artifacts –

scip.yml

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