3 commits

Author	SHA1	Message	Date
Damir Jelić	1d5ee22dd2	CI: Name our lint stages.	2020-12-08 11:08:41 +01:00
Damir Jelić	e24fb8b471	CI: Fix the cargo fmt invocation.	2020-12-08 10:44:19 +01:00
Damir Jelić	795900cf39	CI: Add a lint github workflow.	2020-12-08 10:42:05 +01:00