Add run_command benchcomp visualization #4781

Triggered via pull request June 23, 2023 22:20

synchronize #2542

Status Success

Total duration 1h 20m 43s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

kani.yml

on: pull_request

Matrix: regression

Matrix: releasebundle-macos

Produced during runtime

Name	Size
kani-latest-x86_64-apple-darwin.tar.gz Expired	87.2 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired	107 MB