Skip to content

Merge pull request #1774 from Barenboim/master #1930

Merge pull request #1774 from Barenboim/master

Merge pull request #1774 from Barenboim/master #1930

Triggered via push September 8, 2025 07:22
Status Success
Total duration 7m 34s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in