Skip to content
Check for modules that should use `prelude`

fix: ensure instantiateMVarsProfiling adds a trace node #4829

Sign in to view logs

fix: ensure instantiateMVarsProfiling adds a trace node

fix: ensure instantiateMVarsProfiling adds a trace node #4829

Triggered via pull request September 27, 2024 21:32
@alexkeizeralexkeizer
opened #5501
opencompl:fix-elabdef-time-leak
Status Success
Total duration 16s
Artifacts –

check-prelude.yml

on: pull_request
check-prelude
6s
check-prelude
Fit to window
Zoom out
Zoom in