Tim Huyeng 87d9dcfb84 update build workflow ... to only run if changes inside docs folder		2022-11-22 15:44:24 +01:00
..
build.yml	bugfix in workflow	2022-11-05 16:18:16 +01:00
docs.yml	update build workflow	2022-11-22 15:44:24 +01:00