Skip to content

Merge pull request #565 from godejord/564 #175

Merge pull request #565 from godejord/564

Merge pull request #565 from godejord/564 #175

Triggered via push July 23, 2023 15:18
Status Success
Total duration 21s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Enforce consistent formatting
10s
Enforce consistent formatting
Fit to window
Zoom out
Zoom in