Jean-Michel Picod 949e06ce51 Rename workflows

2020-02-24 19:22:04 +01:00

..

mdlint.yml

Rename workflows

2020-02-24 19:22:04 +01:00

pylint.yml

Remove paths to check workflows.

2020-02-24 19:11:15 +01:00

rust.yml

Rename workflows

2020-02-24 19:22:04 +01:00