Skip to content

chore(devtools): Bump candid-extractor#200

Merged
AntonioVentilii merged 2 commits intomainfrom
chore-devtools/Bump-candid-extractor
Mar 26, 2026
Merged

chore(devtools): Bump candid-extractor#200
AntonioVentilii merged 2 commits intomainfrom
chore-devtools/Bump-candid-extractor

Conversation

@AntonioVentilii
Copy link
Copy Markdown
Collaborator

Motivation

Keeping candid-extractor up-to-date.

@AntonioVentilii AntonioVentilii requested a review from a team as a code owner March 26, 2026 11:42
@AntonioVentilii AntonioVentilii enabled auto-merge (squash) March 26, 2026 11:47
@AntonioVentilii AntonioVentilii merged commit a8ce476 into main Mar 26, 2026
13 checks passed
@AntonioVentilii AntonioVentilii deleted the chore-devtools/Bump-candid-extractor branch March 26, 2026 12:30
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.

2 participants