Skip to content

Conversation

@diondokter
Copy link
Member

No description provided.

@tweedegolf tweedegolf deleted a comment from github-actions bot Dec 15, 2025
@tweedegolf tweedegolf deleted a comment from github-actions bot Dec 15, 2025
@tweedegolf tweedegolf deleted a comment from github-actions bot Dec 15, 2025
@github-actions
Copy link

PR build size

  text	   data	    bss	    dec	    hex	filename
 19132	     56	   1728	  20916	   51b4	example

Diff

    FILE SIZE        VM SIZE    
 --------------  -------------- 
  +0.0%    +100  [ = ]       0    .debug_info
  +0.0%      +1  [ = ]       0    .debug_line
  -3.2%      -2  [ = ]       0    [Unmapped]
  -0.5%    -118  [ = ]       0    .strtab
  -0.2% -1.03Ki  [ = ]       0    .debug_str
  -0.1% -1.05Ki  [ = ]       0    TOTAL

@diondokter diondokter merged commit ba21af9 into master Dec 16, 2025
5 checks passed
@diondokter diondokter deleted the release-7 branch December 16, 2025 08:38
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