RFC: Print Kani version #3351

Sign in to view logs

Triggered via pull request June 27, 2023 19:06

opened #2571

adpaco-aws:rfc-kani-version

Status Success

Total duration 4m 41s

Artifacts –

audit.yml

on: pull_request