Skip to content

Apply corrections, typeset the report, check the ledgers in CI - #3

Merged
lvelho merged 11 commits into
mainfrom
feat/typeset-report
Sep 9, 2026
Merged

lvelho merged 11 commits into
mainfrom
feat/typeset-report

Close A6 and A7, and the restatement neither verdict named

d8c7052
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar