Skip to content
CodeQL

make sure withSideEffect() use ORDERED characteristics #2568

Sign in to view logs

make sure withSideEffect() use ORDERED characteristics

make sure withSideEffect() use ORDERED characteristics #2568

Triggered via push February 21, 2026 18:22
@fluentfuturefluentfuture
pushed 064ae1d
master
Status Success
Total duration 8m 52s
Artifacts –

codeql-analysis.yml

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

Annotations

2 warnings
Analyze (java)
Cannot build an overlay-base database because build-mode is set to "undefined" instead of "none". Falling back to creating a normal full database instead.
Analyze (java)
CodeQL Action v3 will be deprecated in December 2026. Please update all occurrences of the CodeQL Action in your workflow files to v4. For more information, see https://github.blog/changelog/2025-10-28-upcoming-deprecation-of-codeql-action-v3/