João Capucho 706a88e21c Fix clippy errors (#62) ...

* Move from travis to github actions (#58)

* Added github actions

* Remove travis

* Fixed clippy warnings

* Add the clippy check to ci

* Move workflows to .github

* Fix missing clippy

2020-06-08 16:00:46 -04:00

..

workflows

Fix clippy errors (#62)

2020-06-08 16:00:46 -04:00