Skip to content

Merge pull request #726 from RainerKuemmerle/rainer/fix722 #235

Merge pull request #726 from RainerKuemmerle/rainer/fix722

Merge pull request #726 from RainerKuemmerle/rainer/fix722 #235

Triggered via push October 21, 2023 16:52
Status Success
Total duration 28m 9s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

windows.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in