Actions: leanprover/lean4
Actions
Showing runs from all workflows
79,555 workflow run results
79,555 workflow run results
MonadLog
for a StateT
is surprisingly slow
Label PR based on Comment
#6956:
Issue comment #5457 (comment)
created
by
alexkeizer
instantiateMVarsProfiling
adds a trace node
Label PR based on Comment
#6955:
Issue comment #5501 (comment)
created
by
leanprover-community-bot
instantiateMVarsProfiling
adds a trace node
Check PR title for commit convention
#9433:
Pull request #5501
edited
by
alexkeizer
instantiateMVarsProfiling
adds a trace node
Nix CI
#18871:
Pull request #5501
opened
by
alexkeizer
instantiateMVarsProfiling
adds a trace node
Check PR title for commit convention
#9432:
Pull request #5501
opened
by
alexkeizer
instantiateMVarsProfiling
adds a trace node
Check for modules that should use `prelude`
#4829:
Pull request #5501
opened
by
alexkeizer
instantiateMVarsProfiling
adds a trace node
Check for copyright header
#4984:
Pull request #5501
opened
by
alexkeizer
instantiateMVarsProfiling
adds a trace node
Check for stage0 changes
#4718:
Pull request #5501
opened
by
alexkeizer
instantiateMVarsProfiling
adds a trace node
CI
#22045:
Pull request #5501
opened
by
alexkeizer