4 Commits

Author	SHA1	Message	Date
Joyce	546370c9e7	Set minimal permissions to Github Workflows (#3972)	2023-03-13 12:14:35 +01:00
Niels Lohmann	bfbe774d8f	🚑 fix documentation job	2022-08-07 13:34:34 +02:00
Florian Albrechtskirchinger	b13b8748b6	Refine 'Publish documentation' workflow (#3673) ... * Only publish documentation when changed * Enable manual publishing of the documentation * Don't try to publish documentation from forks	2022-08-04 22:53:05 +02:00
Niels Lohmann	98d70d4676	Publish documentation on push to develop branch (#3660) ... 👷 add job to publish the documentation	2022-08-03 22:28:26 +02:00