fix(ci,#17359): verdict empty dans check_trivial_diff -- une PR a diff nul est nommee - #17762

Sep 25, 2026

fix(ci,#17359): verdict empty dans check_trivial_diff -- une PR a diff nul est nommee#17762
myia-ai-01 merged 1 commit into
mainfrom
fix/17359-empty-verdict

fix(ci,#17359): verdict `empty` dans check_trivial_diff -- une PR a diff nul est nommee