Skip to content

fix: CI timing overwrites and metrics plot generation#161

Merged
angerman merged 1 commit into
stable-ghc-9.14from
fix/ci-metrics-and-timings
Mar 1, 2026
Merged

fix: CI timing overwrites and metrics plot generation#161
angerman merged 1 commit into
stable-ghc-9.14from
fix/ci-metrics-and-timings

fix: CI timing overwrites and metrics plot generation

318a199
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar