Skip to content

Conversation

@wendigo
Copy link
Contributor

@wendigo wendigo commented Sep 9, 2025

Description

Additional context and related issues

Release notes

( ) This is not user-visible or is docs only, and no release notes are required.
( ) Release notes are required. Please propose a release note for me.
( ) Release notes are required, with the following suggested text:

## Section
* Fix some things. ({issue}`issuenumber`)

@wendigo
Copy link
Contributor Author

wendigo commented Sep 9, 2025

compile-commits were successful

@wendigo wendigo force-pushed the serafin/compile-commit-faster branch from 710b023 to 99e7097 Compare September 9, 2025 12:43
@wendigo wendigo merged commit 2f22743 into master Sep 9, 2025
2 of 12 checks passed
@wendigo wendigo deleted the serafin/compile-commit-faster branch September 9, 2025 12:44
@github-actions github-actions bot added this to the 477 milestone Sep 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

3 participants