Skip to content

migrate to jspecify annotations (was checker framework) #4913

migrate to jspecify annotations (was checker framework)

migrate to jspecify annotations (was checker framework) #4913

Triggered via push November 26, 2024 06:19
Status Success
Total duration 3m 3s
Artifacts

analysis.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Condition is covered by further condition: caffeine/src/main/java/com/github/benmanes/caffeine/cache/UnboundedLocalCache.java#L377
Condition 'value != null' covered by subsequent condition 'newValue != value'