Skip to content

Merge #242: Add contrib/check-*.sh scripts #1417

Merge #242: Add contrib/check-*.sh scripts

Merge #242: Add contrib/check-*.sh scripts #1417

Triggered via push January 13, 2024 17:28
Status Success
Total duration 13m 51s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in