Skip to content
Kani Performance Benchmarks

Migrate rvalue and coercion module to use StableMIR (#2938) #262

Sign in to view logs

Migrate rvalue and coercion module to use StableMIR (#2938)

Migrate rvalue and coercion module to use StableMIR (#2938) #262

Triggered via push December 13, 2023 03:10
@celinvalcelinval
pushed a7c239e
main
Status Success
Total duration 1h 2m 32s
Artifacts –

bench.yml

on: push
perf-benchcomp
1h 2m
perf-benchcomp
Fit to window
Zoom out
Zoom in