Skip to content

chore: update third-party license notices#967

Merged
kevinaboos merged 1 commit into
mainfrom
chore/update-third-party-licenses
Jul 16, 2026
Merged

chore: update third-party license notices#967
kevinaboos merged 1 commit into
mainfrom
chore/update-third-party-licenses

Conversation

@github-actions

Copy link
Copy Markdown

Automated update of the third-party license notices to match the
current dependency graph on main.

Generated by cargo about (config + templates in
licenses/config/) via the Third-party licenses workflow.
Do not edit these files by hand.

@github-actions github-actions Bot force-pushed the chore/update-third-party-licenses branch from f0495c3 to 58f5b0d Compare July 16, 2026 01:01
@kevinaboos kevinaboos merged commit 856b80c into main Jul 16, 2026
@kevinaboos kevinaboos deleted the chore/update-third-party-licenses branch July 16, 2026 19: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