summary refs log tree commit diff
path: root/changelog.d/9709.misc
blob: 10542fdf38c1533d46e3f8ccdb645b1d3da22ba8 (plain) (blame)
1
Fix type-checking CI on develop.