7 Commits (c35d260c2fb91b8a53e585d480607a0f088cbbbb)

Author	SHA1	Message	Date
Niels Lohmann	6eab7a2b18	💚 fix documentation deploy	2023-11-01 22:16:27 +01:00
Niels Lohmann	1dfe4073e3	💚 fix documentation deploy	2023-11-01 22:09:53 +01:00
Niels Lohmann	4ffd5bd18e	💚 fix documentation deploy	2023-11-01 22:06:01 +01:00
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