Add type witnesses. #844
Annotations
1 error and 4 warnings
|
We were unable to automatically build your code. Please replace the call to the autobuild action with your custom build steps. Failure invoking /opt/hostedtoolcache/CodeQL/2.19.0/x64/codeql/java/tools/autobuild.sh with arguments .
Exit code 1 and error was:
Picked up JAVA_TOOL_OPTIONS: -Dhttp.keepAlive=false -Dmaven.wagon.http.pool=false
|
|
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b, github/codeql-action/init@4238421316c33d73aeea2801274dd286f157c2bb, github/codeql-action/autobuild@4238421316c33d73aeea2801274dd286f157c2bb. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
This job failed
Loading