Skip to content

Merge remote-tracking branch 'origin/add_github_star_badges' into add… #31

Merge remote-tracking branch 'origin/add_github_star_badges' into add…

Merge remote-tracking branch 'origin/add_github_star_badges' into add… #31

Triggered via push December 2, 2023 16:59
Status Success
Total duration 10s
Artifacts
Trigger build of latest version
2s
Trigger build of latest version
Fit to window
Zoom out
Zoom in