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

..

deploy-docs.yml

Update GitHub Actions CI

2023-12-31 22:46:13 +01:00