Skip to content
Check files

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

Sign in to view logs

Merge upstream/develop into minDegree-ordering-cleanup

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

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

check-files.yml

on: push
Signature_check
4s
Signature_check
News_check
3s
News_check
License_check
1m 22s
License_check
Shell_check
7s
Shell_check
style-check
16s
style-check
Fit to window
Zoom out
Zoom in