Use dialog font in editor drop-down and drop bold-when-hidden marker#3940
Open
vogella wants to merge 1 commit into
Open
Use dialog font in editor drop-down and drop bold-when-hidden marker#3940vogella wants to merge 1 commit into
vogella wants to merge 1 commit into
Annotations
2 warnings
|
Initialize CodeQL
Starting April 2026, the CodeQL Action will skip computing file coverage information on pull requests to improve analysis performance. File coverage information will still be computed on non-PR analyses.
To opt out of this change, set the `CODEQL_ACTION_FILE_COVERAGE_ON_PRS` environment variable to `true`. Alternatively, create a custom repository property with the name `github-codeql-file-coverage-on-prs` and the type "True/false", then set this property to `true` in the repository's settings.
|
|
Initialize CodeQL
Cannot build an overlay database because build-mode is set to "undefined" instead of "none". Falling back to creating a normal full database instead.
|
background
wait
wait-all
cancel
Loading