Skip to content
Update Locale

Merge upstream/develop into minDegree-ordering-cleanup #9

Sign in to view logs

Merge upstream/develop into minDegree-ordering-cleanup

Merge upstream/develop into minDegree-ordering-cleanup #9

Triggered via push August 26, 2025 04:34
@wifiBlackwifiBlack
pushed b714ba3
minDegree-ordering-cleanup
Status Success
Total duration 1m 18s
Artifacts –

update-locale.yml

on: push
Update Locale
1m 9s
Update Locale
Fit to window
Zoom out
Zoom in