Skip to content

minor deployment update - #307

Merged
dmolik merged 1 commit into
mainfrom
8.1.3-update
Sep 15, 2025
Merged

dmolik merged 1 commit into
mainfrom
8.1.3-update

Conversation

@dmolik

@dmolik dmolik commented Sep 15, 2025

Copy link
Copy Markdown
Member

No description provided.

@dmolik
dmolik enabled auto-merge September 15, 2025 15:07
@dmolik
dmolik merged commit 9a3434f into main Sep 15, 2025
11 checks passed
@dmolik
dmolik deleted the 8.1.3-update branch September 15, 2025 15:10
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