9 Commits

Author	SHA1	Message	Date
Dirk Stolle	c143d8e460	Update GitHub Actions CI ... The following updates are performed: * update actions/checkout to v4 * replace unmaintained actions-rs/toolchain by dtolnay/rust-toolchain * replace unmaintained actions-rs/cargo by direct invocation of cargo	2023-12-31 22:46:13 +01:00
Janek	b87ae1da44	Update deploy-docs.yml	2023-12-30 19:52:17 +01:00
Janek	216fb548b4	Update deploy-docs.yml	2023-12-30 19:32:34 +01:00
Janek	e61d178147	Update deploy-docs.yml	2023-12-30 19:27:43 +01:00
Janek	6d178a7fc8	Update deploy-docs.yml	2023-12-30 19:27:24 +01:00
Janek	6fe1820471	Update deploy-docs.yml	2023-12-30 19:23:22 +01:00
Janek	3f10cc573a	Update deploy-docs.yml	2023-12-30 19:16:16 +01:00
Janek	7bc96f1093	Update deploy-docs.yml	2023-12-30 19:15:12 +01:00
Janek	dc29597b60	Create deploy-docs.yml	2023-12-30 19:13:14 +01:00