Build with profiling

Teo Camarasu
2026-03-30T11:29:03Z

We occasionally get bugs that are only triggered by profiling builds. So we should also run head.hackage with profiling enabled.