Back to pull request #3148

Bump dependencies and Kani's version to 0.50.0 #681

Sign in to view logs

Triggered via pull request April 17, 2024 19:35

celinval

opened #3148

Status Success

Total duration 56m 4s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp