Bump Kani version to 0.31.0 #3349

Sign in to view logs

Triggered via pull request June 27, 2023 16:25

synchronize #2569

jaisnan:release-0.31.0

Status Success

Total duration 14m 9s

Artifacts –

audit.yml

on: pull_request