Skip to content

rename default branch to main #438

rename default branch to main

rename default branch to main #438

Annotations

1 notice

Julia 1 - ubuntu-latest - x64 - pull_request

succeeded Dec 23, 2024 in 3m 29s