Skip to content

Merge pull request #816 from wlandau/340 #227

Merge pull request #816 from wlandau/340

Merge pull request #816 from wlandau/340 #227

Triggered via push August 10, 2023 15:13
Status Success
Total duration 1h 57m 32s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
windows-latest-WSLv1
1h 57m
windows-latest-WSLv1
Fit to window
Zoom out
Zoom in