Jean-Michel Picod feacd72d6e Add Github workflows ...

These should do the checks for us.
Not an expert though so it may need a bit of tweaking before they do
what we want them to do.

2020-02-24 19:00:51 +01:00

..

mdlint.yml

Add Github workflows

2020-02-24 19:00:51 +01:00

pylint.yml

Add Github workflows

2020-02-24 19:00:51 +01:00

rust.yml

Add Github workflows

2020-02-24 19:00:51 +01:00