Skip to content
Longitudinal Benchmarks

Benchmarks for the Agda CEK machine (PLT-9187) (#5725) #388

Sign in to view logs

Benchmarks for the Agda CEK machine (PLT-9187) (#5725)

Benchmarks for the Agda CEK machine (PLT-9187) (#5725) #388

Triggered via push January 17, 2024 11:25
@michaelpjmichaelpj
pushed 8f55aa1
master
Status Success
Total duration 1h 47m 45s
Artifacts –

longitudinal-benchmark.yml

on: push
Performance regression check
1h 47m
Performance regression check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Performance regression check
Performance alert! Previous value was 227.9 and current value is 243. It is 1.0662571303203159x worse than previous exceeding a ratio threshold 1.05