RFC: Print Kani version #3353

Sign in to view logs

Triggered via pull request June 27, 2023 19:11

synchronize #2571

adpaco-aws:rfc-kani-version

Status Success

Total duration 4m 3s

Artifacts –

audit.yml

on: pull_request