Skip to content

Merge branch 'main' of https://github.com/desihub/redrock into legend… #569

Merge branch 'main' of https://github.com/desihub/redrock into legend…

Merge branch 'main' of https://github.com/desihub/redrock into legend… #569

Annotations

1 error and 2 warnings

Style check (ubuntu-latest, 3.9)

succeeded May 21, 2024 in 4s