Skip to content

rename develop branch to main #18

rename develop branch to main

rename develop branch to main #18

Triggered via push February 5, 2025 15:50
Status Success
Total duration 2m 37s
Artifacts

ci.yml

on: push
install and run pre-commit
2m 28s
install and run pre-commit
Fit to window
Zoom out
Zoom in