Skip to content
Performance Benchmarking

Merge pull request #8400 from tautschnig/bugfixes/smt2-8399 #661

Sign in to view logs

Merge pull request #8400 from tautschnig/bugfixes/smt2-8399

Merge pull request #8400 from tautschnig/bugfixes/smt2-8399 #661

Triggered via push September 2, 2024 17:51
@tautschnigtautschnig
pushed 59674e3
develop
Status Success
Total duration 16m 13s
Artifacts –

performance.yaml

on: push
perf-benchcomp
16m 2s
perf-benchcomp
Fit to window
Zoom out
Zoom in