Skip to content

fix: soundness issue in Somr #31

fix: soundness issue in Somr

fix: soundness issue in Somr #31

Re-run triggered August 26, 2023 05:25
Status Success
Total duration 33m 34s
Artifacts 2

benchmark.yml

on: pull_request
Matrix: benchmark
Compare Benchmarks
2m 45s
Compare Benchmarks
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
benchmark-results-ubuntu-latest Expired
4.43 MB
benchmark-results-windows-latest Expired
4.46 MB