Skip to content

Merge branch 'main' into es/06-12-chore_remove_deprecated_extensions_… #1527

Merge branch 'main' into es/06-12-chore_remove_deprecated_extensions_…

Merge branch 'main' into es/06-12-chore_remove_deprecated_extensions_… #1527

Triggered via push June 19, 2025 17:15
Status Success
Total duration 1m 14s
Artifacts

scip.yml

on: push
Fit to window
Zoom out
Zoom in