Skip to content

Fix typo in CI config#6935

Merged
grzesiek2010 merged 1 commit intogetodk:masterfrom
seadowg:fix-config
Oct 16, 2025
Merged

Fix typo in CI config#6935
grzesiek2010 merged 1 commit intogetodk:masterfrom
seadowg:fix-config

Conversation

@seadowg
Copy link
Member

@seadowg seadowg commented Oct 16, 2025

This fixes the typo currently breaking CI.

@seadowg seadowg added the high priority Should be looked at before other PRs/issues label Oct 16, 2025
@seadowg seadowg marked this pull request as ready for review October 16, 2025 09:22
@seadowg seadowg requested a review from grzesiek2010 October 16, 2025 09:22
@grzesiek2010 grzesiek2010 merged commit c1a541b into getodk:master Oct 16, 2025
6 checks passed
@seadowg seadowg deleted the fix-config branch October 16, 2025 12:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

high priority Should be looked at before other PRs/issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants