Skip to content
Auto Assign

Make it possible to choose between multiple planetary HiPS per planet #1028

Sign in to view logs

Make it possible to choose between multiple planetary HiPS per planet

Make it possible to choose between multiple planetary HiPS per planet #1028

Triggered via pull request August 17, 2025 18:12
@1011011110110111
opened #4459
Status Success
Total duration 8s
Artifacts –

auto_assign.yml

on: pull_request_target
Add reviews
6s
Add reviews
Fit to window
Zoom out
Zoom in