Skip to content

rename default branch to main #439

rename default branch to main

rename default branch to main #439

Annotations

1 notice

Julia 1.7 - ubuntu-20.04 - x64 - pull_request

succeeded Dec 23, 2024 in 2m 40s