Skip to content
Check for copyright header

fix: ensure instantiateMVarsProfiling adds a trace node #4984

Sign in to view logs

fix: ensure instantiateMVarsProfiling adds a trace node

fix: ensure instantiateMVarsProfiling adds a trace node #4984

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

copyright-header.yml

on: pull_request
check-lean-files
23s
check-lean-files
Fit to window
Zoom out
Zoom in