Update Kani version to 0.39.0 #4081

Sign in to view logs

Triggered via pull request October 17, 2023 20:11

opened #2824

celinval:issue-xxxx-v0.39

Status Success

Total duration 1m 29s

Artifacts –

audit.yml

on: pull_request