minor update

2 jobs for tools in 51 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Tests
passed #308856
gitlab-ci-rust
test

00:00:28

 
  Build
passed #308857
gitlab-ci-rust
build

00:00:23