3 commits

Author	SHA1	Message	Date
Michael Watzko	200a676a7c	No longer allow removed lint: clippy::unknown_clippy_lints	2021-04-06 19:05:05 +02:00
Jonah Dahlquist	839367b5f2	Different clippy lint allowed	2021-02-18 19:23:28 -08:00
kellerkindt	74a9ae5ccd	Add github workflow action	2020-06-10 16:14:15 +02:00