jbmc, janalyzer: Remove unnecessary dynamic_cast #2674
syntax-checks.yaml
on: pull_request
check-clang-format
2m 42s
check-cpplint
1m 15s
check-rustfmt
7s