Skip to content

ci: enable merge queue for GitHub actions #555

ci: enable merge queue for GitHub actions

ci: enable merge queue for GitHub actions #555

Triggered via push July 1, 2024 10:38
Status Success
Total duration 35s
Artifacts
check-project
23s
check-project
Fit to window
Zoom out
Zoom in