Marc Di Luzio 9eb2e08667 Add check to github action that we've run make gen		2020-07-06 17:09:49 +01:00
..
workflows	Add check to github action that we've run make gen	2020-07-06 17:09:49 +01:00