Skip to content

Merge remote-tracking branch 'origin/main' into peterguy/clean-up-config #2062

Merge remote-tracking branch 'origin/main' into peterguy/clean-up-config

Merge remote-tracking branch 'origin/main' into peterguy/clean-up-config #2062

Triggered via push March 10, 2026 16:17
Status Success
Total duration 1m 19s
Artifacts

scip.yml

on: push
Fit to window
Zoom out
Zoom in