a4481e46

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Add NixCI badge
pre-commitconfiguredevShelldefaultx86_64-linux