Document and add an extension point for intersection-bound annotation summaries · eisop/checker-framework@db91dac

Canceling since a higher priority waiting request for CI tests-refs/pull/1875/merge exists

Run test script checker/bin-devel/test-cftests-nonjunit

The operation was canceled.

Run test script checker/bin-devel/test-cftests-nonjunit

[argument.type.incompatible] incompatible argument for parameter arg0 of Set.add." Out.txt

Canceling since a higher priority waiting request for CI tests-refs/pull/1875/merge exists

Run test script checker/bin-devel/test-cftests-nonjunit

[CollectionIncompatibleType] Argument 'i - 1' should not be passed to this method; its type int is not compatible with its collection's type argument Short" Out.txt

Navigation Menu

Uh oh!

Document and add an extension point for intersection-bound annotation summaries #4525

cftests-nonjunit on JDK 27

Document and add an extension point for intersection-bound annotation summaries #4525

Uh oh!

Annotations

cftests-nonjunit on JDK 27

Re-running jobs...