Quentin Gliech ea7299a14a Upgrade Rust to 1.72.0 ...

Fixes new clippy errors and upgrade other tools

2023-08-28 18:05:56 +02:00

..

build.yaml

Upgrade Rust to 1.72.0

2023-08-28 18:05:56 +02:00

ci.yaml

Upgrade Rust to 1.72.0

2023-08-28 18:05:56 +02:00

coverage.yaml

Upgrade Rust to 1.72.0

2023-08-28 18:05:56 +02:00

docs.yaml

build(deps): bump actions/checkout from 3.5.3 to 3.6.0

2023-08-25 12:33:48 +02:00