Skip to content

Fixed the repository name in the GitHub workflow#111

Merged
Zarquan merged 1 commit into
ivoa:mainfrom
Zarquan:20260707-zrq-workflow-bugfix
Jul 7, 2026
Merged

Fixed the repository name in the GitHub workflow#111
Zarquan merged 1 commit into
ivoa:mainfrom
Zarquan:20260707-zrq-workflow-bugfix

Conversation

@Zarquan

@Zarquan Zarquan commented Jul 7, 2026

Copy link
Copy Markdown
Member

Fixed the hard coded repository name in the GitHub workflow.

@Zarquan
Zarquan merged commit 544175d into ivoa:main Jul 7, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant