ci: rename makefile -> Makefile in docker (#17648)

Minor file rename.
pull/10812/head
Eugene Yurtsev 3 months ago committed by GitHub
parent 8d4547ae97
commit d7c26c89b2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
Loading…
Cancel
Save