Longitudinal Benchmarks

Kwxm/agda conformance/better cost model (PLT-9449) (#5773) #422

Sign in to view logs

Triggered via push February 16, 2024 15:27

kwxm

master

Status Success

Total duration 1h 48m 30s

Artifacts –

longitudinal-benchmark.yml

on: push

Performance regression check