Skip to content

Merge pull request #6446 from fchapoton/Siegel_again #3825

Merge pull request #6446 from fchapoton/Siegel_again

Merge pull request #6446 from fchapoton/Siegel_again #3825

Triggered via push July 1, 2025 13:53
Status Success
Total duration 2h 15m 18s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Initial setup
4s
Initial setup
Matrix: test
Fit to window
Zoom out
Zoom in