Skip to content

Conversation

@erikjohnston
Copy link
Member

Somehow its got out of sync, picked up by CI on develop.

Somehow its got out of sync, picked up by CI on develop.
@github-actions github-actions bot deployed to PR Documentation Preview June 18, 2025 15:29 Active
@erikjohnston erikjohnston marked this pull request as ready for review June 18, 2025 15:29
@erikjohnston erikjohnston requested a review from a team as a code owner June 18, 2025 15:29
Copy link
Member

@anoadragon453 anoadragon453 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

#18522 used "list". My guess is it was a local change to the script from reviewing the original PR (where we were debating array vs. list).

@erikjohnston erikjohnston merged commit 5102565 into develop Jun 18, 2025
39 checks passed
@erikjohnston erikjohnston deleted the erikj/fix_docs branch June 18, 2025 15:40
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.

3 participants