New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Minor technical/typo fixes. #15

Merged

mservillat merged 2 commits into ivoa:main from msdemlei:tech-fixes

Aug 28, 2024

Merged

Minor technical/typo fixes. #15

Merge branch 'main' into tech-fixes

Annotations

5 errors and 2 warnings

couldn't find remote ref refs/pull/15/merge

Git fetch failed with exit code: 128

Exit code 1 returned from process: file name '/home/runner/runners/2.319.1/bin/Runner.PluginHost', arguments 'action "GitHub.Runner.Plugins.Repository.v1_0.CheckoutTask, Runner.Plugins"'.

Git fetch failed with exit code 128, back off 5.491 seconds before retry.

Git fetch failed with exit code 128, back off 4.61 seconds before retry.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Minor technical/typo fixes. #15

Minor technical/typo fixes. #15

Annotations

This job failed

Re-running jobs...