Skip to content
CodeQL

Fix #12772 (GUI: information messages are shown even though information tool button is deselected) #13704

Sign in to view logs

Fix #12772 (GUI: information messages are shown even though information tool button is deselected)

Fix #12772 (GUI: information messages are shown even though information tool button is deselected) #13704

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Analyze (cpp)
6m 40s
Analyze (python)
3m 35s
10m 15s