Jan-Erik Rediger 34d741b343 Don't run check ... It takes time and is fully covered by compiling and running tests anyway		2022-01-25 21:07:29 +01:00
..
workflows	Don't run check	2022-01-25 21:07:29 +01:00