Skip to content

Do not enlarge types of functions defined by terms when unnecessary #1142

Do not enlarge types of functions defined by terms when unnecessary

Do not enlarge types of functions defined by terms when unnecessary #1142

Triggered via push June 9, 2024 13:03
Status Failure
Total duration 3m 56s
Artifacts

gradle.yml

on: push
Matrix: gradle
Fit to window
Zoom out
Zoom in

Annotations

1 error and 11 warnings
gradle (macos-latest, 17)
Gradle process exited with status 1
gradle (ubuntu-latest, 17)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-java@v1, eskatos/gradle-command-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
gradle (ubuntu-latest, 17)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-java@v1, eskatos/gradle-command-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
gradle (ubuntu-latest, 17)
Input 'wrapper-cache-enabled' has been deprecated with message: Replaced by 'distributions-cache-enabled' which enables caching for all downloaded Gradle distributions
gradle (ubuntu-latest, 17)
Input 'wrapper-cache-enabled' has been deprecated with message: Replaced by 'distributions-cache-enabled' which enables caching for all downloaded Gradle distributions
gradle (windows-latest, 17)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-java@v1, eskatos/gradle-command-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
gradle (windows-latest, 17)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-java@v1, eskatos/gradle-command-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
gradle (windows-latest, 17)
Input 'wrapper-cache-enabled' has been deprecated with message: Replaced by 'distributions-cache-enabled' which enables caching for all downloaded Gradle distributions
gradle (windows-latest, 17)
Input 'wrapper-cache-enabled' has been deprecated with message: Replaced by 'distributions-cache-enabled' which enables caching for all downloaded Gradle distributions
gradle (macos-latest, 17)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-java@v1, eskatos/gradle-command-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
gradle (macos-latest, 17)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-java@v1, eskatos/gradle-command-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
gradle (macos-latest, 17)
Input 'wrapper-cache-enabled' has been deprecated with message: Replaced by 'distributions-cache-enabled' which enables caching for all downloaded Gradle distributions