Review fixes - #11

Merged

iraiosub merged 17 commits into

mainfrom

Jul 28, 2026

Commits on Jun 9, 2026

edge case style fixes
iraiosub
committed
308dc88
fix greek mu confusion
iraiosub
committed
58e381f

Commits on Jul 8, 2026

fix sub-script rendering in PDF
iraiosub
committed
db64680
Update protocol-template.pdf
github-actions[bot]
committed
165be00
improve layout of header
iraiosub
committed
834bc5d
Update protocol-template.pdf
github-actions[bot]
committed
c2c5cb8
move commit author back on same line as commit hash
iraiosub
committed
6d95b86
Update protocol-template.pdf
github-actions[bot]
committed
8fcf433
add maintainer notes
iraiosub
committed
091e549
migration guidance consistency
iraiosub
committed
2ed3f11
fix badge
iraiosub
committed
dee9569
Update protocol-template.pdf
github-actions[bot]
committed
1197bd0

Commits on Jul 28, 2026

update docs
iraiosub
committed
c75bad2
run style github action at the same time as content validator action
iraiosub
committed
2fca88d
clarify materials heading formatting in docs
iraiosub
committed
5fb1661
fix typos
iraiosub
committed
5be613e
clarification in docs about CI
iraiosub
committed
345cc45