Improve is_not_empty function

4 jobs for master in 3 minutes and 59 seconds
Status Name Job ID Coverage
  Mirror
passed github-internal-mirror #16135
cmd-api

00:00:07

passed mirror #16134
cmd-api

00:00:09

 
  Publish
canceled cmd-api-arm #16137
buildarm

passed cmd-api-x86 #16136
cmd-api

00:03:50