Skip to content

Add fenced code languages for decoding-file-structure.md - #2732

Merged
andrewboudreau merged 2 commits into
tangosdev:mainfrom
Alberto12345678999:add_decoding_file_fenced_blocks
Sep 16, 2026
Merged

andrewboudreau merged 2 commits into
tangosdev:mainfrom
Alberto12345678999:add_decoding_file_fenced_blocks

Conversation

@Alberto12345678999

Copy link
Copy Markdown
Contributor

No description provided.

@tangos-validator

tangos-validator Bot commented Sep 16, 2026

Copy link
Copy Markdown

✅ PR validation — Passed

noverify: no source/build-data changes in this PR

Each changed src/*.c|*.cpp is compiled and its relocated bytes compared to the binary data on a private build box. Passing requires every changed file to reproduce the ROM byte-for-byte with correct relocation targets — this catches WRONG-DEST relocations and non-reproducing near-misses that ledger-scoped linkcheck skips.

@Alberto12345678999
Alberto12345678999 force-pushed the add_decoding_file_fenced_blocks branch from b89f1ee to bb31d83 Compare September 16, 2026 09:02
@andrewboudreau
andrewboudreau merged commit 162d179 into tangosdev:main Sep 16, 2026
11 checks passed
@andrewboudreau

Copy link
Copy Markdown
Collaborator

Reviewed and integrated final head cc66e6178638a4243e869183d21fd38913c463b8 as squash commit 162d1796ff405da01b39d21ad753ab40aac71acb. The change only fences existing command examples in notes/decoding-file-structure.md; I corrected the shell-wrapped Python example's fence to sh on the contributor's branch. The commands themselves are unchanged. All reported checks were green before landing, including private validation and Source review. The immediate live Source review check confirmed no reconstruction-source, header, or manifest changes against target base cbfa195f63cccea8d42fc92b376470e0cf57ee1e, live tip 0133704801d79e47e36146b077ec56125889da92. Squashed through the contributor's own PR to preserve authorship.

@Alberto12345678999
Alberto12345678999 deleted the add_decoding_file_fenced_blocks branch September 16, 2026 14:54
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