Skip to content

Paint circular dirty indicator in editor list popups #8912

Paint circular dirty indicator in editor list popups

Paint circular dirty indicator in editor list popups #8912

Triggered via pull request May 6, 2026 07:28
Status Success
Total duration 15m 33s
Artifacts

codeql.yml

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

Annotations

2 warnings
callCodeQLworkflow / Analyze (java)
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.
callCodeQLworkflow / Analyze (java)
Cannot build an overlay database because build-mode is set to "undefined" instead of "none". Falling back to creating a normal full database instead.