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 |
|