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