9 Commits

Author	SHA1	Message	Date
Jorrit Wronski	fbbcc7e921	Typo in the workflow file	2023-08-08 15:21:30 +02:00
Jorrit Wronski	4f48e49cab	Simplify the full rebuild detection - did not work before	2023-08-08 15:14:47 +02:00
Jorrit Wronski	f00c36a9ce	Support act to run local debugging sessions of the github actions	2023-08-08 14:34:00 +02:00
Jorrit Wronski	a88d1669df	Added a comment in the release docs about the expensive builds, manually set the timeout for the documentation build to 2 hours as 1 hour seems to be the default.	2023-08-07 14:14:56 +02:00
Jorrit Wronski	f3e7652854	Skip the release of the docs from the action	2022-12-16 16:47:39 +01:00
Jorrit Wronski	f7f2daf5e1	Reduce the number of Python wheels	2022-12-15 22:57:35 +01:00
Jorrit Wronski	e33ad98279	Add the first version of the deploy scripts	2022-12-15 22:20:39 +01:00
Jorrit Wronski	ab5fbf9203	Update the actions to avoid Node.js 12 warnings	2022-12-07 15:05:03 +01:00
Jorrit Wronski	522e810574	Build the docs for v6.4.2 (#2191) ... - Streamlined the build of the HTML documentation based on a private docker image. - Invoke doxygen and Sphinx to create the final HTML pages. - Employ a cache for the GitHub actions to store the output of the expensive tasks. - Restructured the GitHub actions builders and introduced a naming scheme. - Fixed a few typos in the docs. - Automatically publish the documentation to GitHub pages.	2022-12-06 21:49:08 +01:00