Revert "remove incorrect lint"

This reverts commit be92dc8b.
2 jobs for master in 2 minutes and 27 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #42540
linux
build

00:00:26

 
  Deploy
passed #42541
linux
upload_to_minio

00:02:01