Fix CI filename

This commit is contained in:
Aleks Rutins 2025-06-04 16:00:22 -04:00
parent 73d9f1981d
commit 9fc4f04c54