Skip to content

Merge pull request #25 from naobservatory/simon-remove-unneeded-scripts #79

Merge pull request #25 from naobservatory/simon-remove-unneeded-scripts

Merge pull request #25 from naobservatory/simon-remove-unneeded-scripts #79

Triggered via push December 7, 2023 14:55
Status Success
Total duration 1m 53s
Artifacts

presubmit.yml

on: push
Fit to window
Zoom out
Zoom in