Andreas Tsouchlos e537fbd4a1 Only run doc generation workflow when relevant files have changed		2024-10-20 15:30:03 +02:00
..
workflows	Only run doc generation workflow when relevant files have changed	2024-10-20 15:30:03 +02:00