Move travis linter job to cirrus #20467

1. 
   MarcoFalke commented at 8:05 pm on November 23, 2020: member

   Travis is shutting down, so the last remaining job needs to be moved to cirrus ci. The others have been moved in #19179.

   Useful skills:

   Backround in:

   • Travis CI, Cirrus CI
   • python, bash
   • linters

   Want to work on this issue?

   For guidance on contributing, please read CONTRIBUTING.md before opening your pull request.

2. MarcoFalke added the label good first issue on Nov 23, 2020
3. MarcoFalke added the label Tests on Nov 23, 2020
4. 
   EddCS commented at 3:03 pm on November 26, 2020: none

   I can do this over the weekend.
5. 
   EddCS commented at 6:39 pm on December 1, 2020: none

   I can do this over the weekend.

   I said, naively. I can however definitely do it this week, and will take a look tonight.

6. MarcoFalke deleted a comment on Dec 5, 2020
7. 
   dhruv commented at 1:13 am on December 15, 2020: member

   @EddCS I was looking to learn more about CI, so I tinkered with this and made #20658. Don’t mean to take away from any progress you may have made. If you’d like to collaborate, let me know.
8. MarcoFalke referenced this in commit 6f2ca726ce on Dec 17, 2020
9. MarcoFalke closed this on Dec 17, 2020

   ---

10. DrahtBot locked this on Feb 15, 2022

Contributors
MarcoFalke EddCS dhruv

Labels
Tests good first issue