RFC: Print Kani version #3355

Sign in to view logs

Triggered via pull request June 27, 2023 19:14

synchronize #2571

adpaco-aws:rfc-kani-version

Status Success

Total duration 4m 30s

Artifacts –

audit.yml

on: pull_request