Skip to content
Snippets Groups Projects

Remove some casts and use `@` notation instead.

Passed
Robbert Krebbers created pipeline for commit 21ec8d24
, finished
For master
branch
5 jobs 15 minutes 50 seconds, queued for 9 seconds