Skip to content

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

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/17359-empty-verdict
Sep 25, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
fix/17359-empty-verdict

fix(ci,#17359): verdict `empty` dans check_trivial_diff -- une PR a d…

2746319
Select commit
Loading
Failed to load commit list.