Skip to content
CodeQL

Option to disable ProofTree tooltips, render them lazily #2635

Sign in to view logs

Option to disable ProofTree tooltips, render them lazily

Option to disable ProofTree tooltips, render them lazily #2635

Triggered via pull request September 3, 2024 17:37
@WolframPfeiferWolframPfeifer
synchronize #3510
pfeifer/3500lazyProofTreeTooltips
Status Success
Total duration 7m 30s
Artifacts –

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in