Skip to content
Checker

minor: do not merge #10059

Sign in to view logs

minor: do not merge

minor: do not merge #10059

Triggered via pull request May 22, 2024 13:22
@romaniromani
opened #14892
romani:test-javac17
Status Cancelled
Total duration 5m 35s
Artifacts –

checker-framework.yml

on: pull_request
Matrix: check
Fit to window
Zoom out
Zoom in

Annotations

16 errors
check (purity-value-returns)
Canceling since a higher priority waiting request for 'Checker-14892' exists
check (purity-value-returns)
The operation was canceled.
check (lock-tainting)
Canceling since a higher priority waiting request for 'Checker-14892' exists
check (lock-tainting)
The operation was canceled.
check (index)
Canceling since a higher priority waiting request for 'Checker-14892' exists
check (index)
The operation was canceled.
check (regex-property-key-compiler-message)
Canceling since a higher priority waiting request for 'Checker-14892' exists
check (regex-property-key-compiler-message)
The operation was canceled.
check (formatter)
Canceling since a higher priority waiting request for 'Checker-14892' exists
check (formatter)
The operation was canceled.
check (nullness-optional-interning)
Canceling since a higher priority waiting request for 'Checker-14892' exists
check (nullness-optional-interning)
The operation was canceled.
check (signature-gui-units-init)
Canceling since a higher priority waiting request for 'Checker-14892' exists
check (signature-gui-units-init)
The operation was canceled.
check (methods-resource-fenum)
Canceling since a higher priority waiting request for 'Checker-14892' exists
check (methods-resource-fenum)
The operation was canceled.