Skip to content

Fix issue 132 - #133

Merged
diondokter merged 3 commits into
masterfrom
issue-132
Jul 19, 2026
Merged

Fix issue 132#133
diondokter merged 3 commits into
masterfrom
issue-132

Conversation

@diondokter

@diondokter diondokter commented Jul 19, 2026 •
edited
Loading

Copy link
Copy Markdown
Member

Fixes #132

  • Create reproducer
  • Fix the bug

@github-actions

github-actions Bot commented Jul 19, 2026

Copy link
Copy Markdown

PR build size

  text	   data	    bss	    dec	    hex	filename
 18436	     56	   1696	  20188	   4edc	example

Diff

    FILE SIZE        VM SIZE    
 --------------  -------------- 
  [ = ]       0  [ = ]       0    TOTAL

@github-actions

github-actions Bot commented Jul 19, 2026

Copy link
Copy Markdown

PR build size

  text	   data	    bss	    dec	    hex	filename
 18436	     56	   1696	  20188	   4edc	example

Diff

    FILE SIZE        VM SIZE    
 --------------  -------------- 
  +0.0%     +46  [ = ]       0    .debug_info
  +0.0%      +2  [ = ]       0    .debug_str
  +4.0%      +2  [ = ]       0    [Unmapped]
  -0.0%      -2  [ = ]       0    .debug_line
  +0.0%     +48  [ = ]       0    TOTAL

@github-actions

github-actions Bot commented Jul 19, 2026

Copy link
Copy Markdown

PR build size

  text	   data	    bss	    dec	    hex	filename
 18436	     56	   1696	  20188	   4edc	example

Diff

    FILE SIZE        VM SIZE    
 --------------  -------------- 
  +0.0%     +46  [ = ]       0    .debug_info
  +0.0%      +2  [ = ]       0    .debug_str
  +4.0%      +2  [ = ]       0    [Unmapped]
  -0.0%      -2  [ = ]       0    .debug_line
  +0.0%     +48  [ = ]       0    TOTAL

@diondokter
diondokter marked this pull request as ready for review July 19, 2026 18:29
@diondokter
diondokter merged commit 8dba1d7 into master Jul 19, 2026
5 checks passed
@diondokter
diondokter deleted the issue-132 branch July 19, 2026 18:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Bug in remove_item

1 participant

@diondokter