Add unchecked/SIMD bitshift checks and disable CBMC flag (#2630) #3591

Sign in to view logs

Triggered via push July 31, 2023 22:08

Status Success

Total duration 1m 24s

Artifacts –

audit.yml

on: push