Skip to content

chore: Remove protonet deployment#2075

Merged
nddeluca merged 1 commit into
masterfrom
nd-remove-protonet
Jun 10, 2025
Merged

chore: Remove protonet deployment#2075
nddeluca merged 1 commit into
masterfrom
nd-remove-protonet

Conversation

@nddeluca

Copy link
Copy Markdown
Member

Description

Checklist

  • Changelog has been updated as necessary.

@nddeluca nddeluca merged commit 917cc32 into master Jun 10, 2025
13 checks passed
@nddeluca nddeluca deleted the nd-remove-protonet branch June 10, 2025 15:29
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