4 Commits

Author	SHA1	Message	Date
Jorrit Wronski	43f1e96ce2	Skip the need for bash to evaluate shell variables	2023-08-11 10:32:42 +02:00
Jorrit Wronski	edbd9027a6	Add the different 32bit Windows builds to the CI jobs	2023-08-11 10:23:18 +02: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