Skip to content

Rename master to main. #871

Rename master to main.

Rename master to main. #871

Triggered via push October 13, 2023 10:40
Status Success
Total duration 1m 51s
Artifacts

coverage.yml

on: push
Coverage on Ubuntu
1m 40s
Coverage on Ubuntu
Fit to window
Zoom out
Zoom in