Solve conflict in tools.rs

2 jobs for tools in 2 minutes and 52 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Tests
passed #315630
gitlab-ci-rust
test

00:02:12

 
  Build
passed #315631
gitlab-ci-rust
build

00:00:40