Remove the lint command from the bots

Nowadays GitHub Actions runs linting on every push, so there is no need
for this separate command anymore as discussed in
mozilla/pdf.js#11851.