Skip to content

Merge pull request #113 from marquiz/devel/github-actions #354

Merge pull request #113 from marquiz/devel/github-actions

Merge pull request #113 from marquiz/devel/github-actions #354

Triggered via push September 19, 2023 14:06
Status Success
Total duration 1m 27s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Minimal PR Verification
1m 15s
Minimal PR Verification
Fit to window
Zoom out
Zoom in