Quentin Gliech 9d13a06f64 Upgrade Rust toolchain to 1.80.0 ...

This also tweaks the workspace-level lints configuration to add priority
on groups

2024-07-29 12:04:30 +02:00

..

workflows

Upgrade Rust toolchain to 1.80.0

2024-07-29 12:04:30 +02:00

dependabot.yml

dependabot: group more frontend dependencies together

2024-04-03 10:37:29 +02:00