Skip to content

Merge pull request #21 from SergeyMi37/master #35

Merge pull request #21 from SergeyMi37/master

Merge pull request #21 from SergeyMi37/master #35

Triggered via push October 26, 2023 21:22
Status Success
Total duration 14s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Linux build
2s
Linux build
Fit to window
Zoom out
Zoom in