Kani Performance Benchmarks

Update toolchain to `nightly-2023-11-21` (#2890) #9

Sign in to view logs

Triggered via push November 27, 2023 13:40

tautschnig

main

Status Success

Total duration 1h 4m 57s

Artifacts –

bench.yml

on: push