Skip to content

rename default branch to main #439

rename default branch to main

rename default branch to main #439

Annotations

1 notice

Julia nightly - ubuntu-latest - x64 - pull_request

succeeded Dec 23, 2024 in 3m 45s