Skip to content
CodeQL

Option to disable ProofTree tooltips, render them lazily (#3510) #87

Sign in to view logs

Option to disable ProofTree tooltips, render them lazily (#3510)

Option to disable ProofTree tooltips, render them lazily (#3510) #87

Triggered via push September 5, 2024 13:10
@DrodtDrodt
pushed 144a9ba
main
Status Success
Total duration 7m 12s
Artifacts –

codeql.yml

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