Skip to content

Use fully-qualified name for java.lang.Error() #84

Use fully-qualified name for java.lang.Error()

Use fully-qualified name for java.lang.Error() #84

Triggered via pull request January 15, 2025 21:40
Status Failure
Total duration 1h 29m 57s
Artifacts
specimin-evaluation
1h 29m
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
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
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
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
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