1 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	5091cab652	Read the assigner's composition into the checker's verdict in place of 'not yet run', failing a check whose composition failed, naming its machine (issue 1297, subtask B3d; ADR 0528 clause 5)	2026-10-23 15:27:59 +02:00