Skip to content
SCIP

more cleanup #1384

Sign in to view logs

more cleanup

more cleanup #1384

Triggered via push May 12, 2025 10:22
@bahrmichaelbahrmichael
pushed 99abb69
bahrmichael/dropped-edits-2
Status Success
Total duration 1m 29s
Artifacts –

scip.yml

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