16 Commits

Author	SHA1	Message	Date
Patrick Lehmann	f737b07992	Prepare for merge. [skip ci]	2024-11-03 14:05:53 +01:00
Patrick Lehmann	77a6b4c00a	Use new extract job.	2024-11-03 13:52:04 +01:00
Patrick Lehmann	13c1a56f92	Upgrade to Ubuntu 2024.04 as GitHub is stuck with Ubuntu-latest at 2022.04.	2024-07-30 02:06:42 +02:00
Patrick Lehmann	94a0c91f69	Bumped dependencies.	2024-01-11 17:44:34 +01:00
Patrick Lehmann	367819ac38	Updated dependencies.	2023-12-28 18:09:03 +01:00
Patrick Lehmann	316eaa115e	Updated checkout to v4.	2023-10-02 18:34:48 +02:00
Patrick Lehmann	f567f4bf0d	Updated copyright year.	2023-07-23 23:42:53 +02:00
Patrick Lehmann	e9e62c5ef6	Upload documentation directly if no artifact is defined.	2022-11-06 22:06:42 +01:00
Patrick Lehmann	be1eaa4de4	Updated and documented dependencies.	2022-11-02 00:22:55 +01:00
Patrick Lehmann	4579381b78	Bumped year to 2022.	2022-02-22 21:28:08 +01:00
Patrick Lehmann	59beccb198	Adjusted header blocks and added header blocks to files without license header.	2021-12-07 20:40:56 +01:00
Patrick Lehmann	bb26a274f3	Changed copyright holder. Reformatted list of authors.	2021-12-07 20:28:49 +01:00
Patrick Lehmann	d4ac697a4f	Added license headers.	2021-12-07 20:28:49 +01:00
umarcor	dd3bd9752a	BuildTheDocs: set retention-days to 1	2021-11-30 00:28:57 +01:00
umarcor	dc22d81451	homogenize 'Checkout' icon	2021-11-30 00:28:53 +01:00
umarcor	35738eef8f	add reusable workflows	2021-11-30 00:28:12 +01:00