Skip to content

fix: fixed log squashing in kernelless simulations#20435

Merged
AztecBot merged 1 commit intonextfrom
gj/log_squashing_kernelless
Feb 12, 2026
Merged

fix: fixed log squashing in kernelless simulations#20435
AztecBot merged 1 commit intonextfrom
gj/log_squashing_kernelless

Conversation

@Thunkar
Copy link
Contributor

@Thunkar Thunkar commented Feb 12, 2026

Use the correct hint to remove logs from squashed notes

Copy link
Contributor

@sirasistant sirasistant left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@AztecBot AztecBot force-pushed the gj/log_squashing_kernelless branch from d484ab8 to 81c376c Compare February 12, 2026 14:53
@AztecBot AztecBot enabled auto-merge February 12, 2026 14:53
@AztecBot AztecBot force-pushed the gj/log_squashing_kernelless branch from 81c376c to 0d656bf Compare February 12, 2026 14:55
@AztecBot AztecBot added this pull request to the merge queue Feb 12, 2026
@Thunkar Thunkar removed this pull request from the merge queue due to a manual request Feb 12, 2026
Use the correct hint to remove logs from squashed notes

Co-authored-by: thunkar <gregojquiros@gmail.com>
@AztecBot AztecBot force-pushed the gj/log_squashing_kernelless branch from aa8e6a8 to c733370 Compare February 12, 2026 15:46
@AztecBot AztecBot enabled auto-merge February 12, 2026 15:46
@AztecBot AztecBot added this pull request to the merge queue Feb 12, 2026
github-merge-queue bot pushed a commit that referenced this pull request Feb 12, 2026
Use the correct hint to remove logs from squashed notes
Merged via the queue into next with commit b4b0633 Feb 12, 2026
18 checks passed
@AztecBot AztecBot deleted the gj/log_squashing_kernelless branch February 12, 2026 16:32
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.

3 participants