Skip to content

Bump org.checkerframework from 0.6.47 to 0.6.48 #79

Bump org.checkerframework from 0.6.47 to 0.6.48

Bump org.checkerframework from 0.6.47 to 0.6.48 #79

Triggered via pull request January 6, 2025 01:49
Status Failure
Total duration 1h 30m 10s
Artifacts
specimin-evaluation
1h 30m
specimin-evaluation
Fit to window
Zoom out
Zoom in

Annotations

21 errors and 1 warning
specimin-evaluation
Process completed with exit code 1.
specimin-evaluation
[{E=[]}]
specimin-evaluation
org/checkerframework/specimin/UnsolvedMethod
specimin-evaluation
org/checkerframework/specimin/InheritancePreserveVisitor
specimin-evaluation
org/checkerframework/specimin/UnsolvedClassOrInterface
specimin-evaluation
org/checkerframework/specimin/UnsolvedMethod
specimin-evaluation
Specimin could not locate the following target methods in the target files:
specimin-evaluation
Specimin could not locate the following target methods in the target files:
specimin-evaluation
Specimin could not locate the following target methods in the target files:
specimin-evaluation
Specimin could not locate the following target methods in the target files:
specimin-evaluation
Specimin could not locate the following target methods in the target files:
specimin-evaluation
[{E=[]}]
specimin-evaluation
org/checkerframework/specimin/UnsolvedMethod
specimin-evaluation
org/checkerframework/specimin/InheritancePreserveVisitor
specimin-evaluation
org/checkerframework/specimin/UnsolvedClassOrInterface
specimin-evaluation
org/checkerframework/specimin/UnsolvedMethod
specimin-evaluation
Specimin could not locate the following target methods in the target files:
specimin-evaluation
Specimin could not locate the following target methods in the target files:
specimin-evaluation
Specimin could not locate the following target methods in the target files:
specimin-evaluation
Specimin could not locate the following target methods in the target files:
specimin-evaluation
Specimin could not locate the following target methods in the target files:
specimin-evaluation
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636