Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: add missing subnetid change #23

Merged
merged 1 commit into from
Nov 27, 2023
Merged

fix: add missing subnetid change #23

merged 1 commit into from
Nov 27, 2023

Conversation

sebastiendan
Copy link
Member

Description

This PR fixes the build by adding the missing subnetId type change adaptation.

PR Checklist:

  • I have performed a self-review of my code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have added or updated tests that comprehensively prove my change is effective or that my feature works

@sebastiendan sebastiendan self-assigned this Nov 27, 2023
@sebastiendan sebastiendan merged commit 04b0f33 into main Nov 27, 2023
2 checks passed
@sebastiendan sebastiendan deleted the fix/add-missing-subnetid-change branch November 27, 2023 11:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@sebastiendan sebastiendan

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@sebastiendan