Skip to content
🩺 Longitudinal Benchmark

[certifier] Add hints to Haskell and Agda simplifier trace (#7575) #1426

Sign in to view logs

[certifier] Add hints to Haskell and Agda simplifier trace (#7575)

[certifier] Add hints to Haskell and Agda simplifier trace (#7575) #1426

Triggered via push February 11, 2026 16:52
@zliu41zliu41
pushed 1a61a49
master
Status Failure
Total duration 11m 49s
Artifacts –

longitudinal-benchmark.yml

on: push
Run
11m 44s
Run
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run
The operation was canceled.