Skip to content

Global dots merge#186

Merged
hdx-leonardo merged 8 commits into
mainfrom
global-dots-merge
Apr 24, 2026
Merged

Global dots merge#186
hdx-leonardo merged 8 commits into
mainfrom
global-dots-merge

Conversation

@kcorbett-hdx

Copy link
Copy Markdown
Collaborator

Merges PR #184 and PR #185

@kcorbett-hdx kcorbett-hdx temporarily deployed to bundle-validator-env April 23, 2026 18:36 — with GitHub Actions Inactive
@kcorbett-hdx kcorbett-hdx temporarily deployed to bundle-validator-env April 23, 2026 19:29 — with GitHub Actions Inactive
tom-howe-hdx
tom-howe-hdx previously approved these changes Apr 23, 2026

@tom-howe-hdx tom-howe-hdx left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

SGTM

@kbogacz-hdx kbogacz-hdx temporarily deployed to bundle-validator-env April 24, 2026 15:51 — with GitHub Actions Inactive
@hdx-leonardo hdx-leonardo self-requested a review April 24, 2026 18:45
@hdx-leonardo hdx-leonardo merged commit b060a5d into main Apr 24, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

5 participants