Prove all isomorphism theorems for groups, refactoring #452
sxhyaAnnotations
5 errors and 6 warnings
|
gradle (ubuntu-latest, 17)
Gradle process exited with status 1
|
|
gradle (macos-latest, 17)
The job was canceled because "ubuntu-latest_17" failed.
|
|
gradle (macos-latest, 17)
The operation was canceled.
|
|
gradle (windows-latest, 17)
The job was canceled because "ubuntu-latest_17" failed.
|
|
gradle (windows-latest, 17)
The operation was canceled.
|
|
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-directory' has been deprecated with message: Use 'gradle-executable' to point to a gradlew[.bat] file in a non-default location
|
|
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
|
|
gradle (macos-latest, 17)
Input 'wrapper-directory' has been deprecated with message: Use 'gradle-executable' to point to a gradlew[.bat] file in a non-default location
|
|
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-directory' has been deprecated with message: Use 'gradle-executable' to point to a gradlew[.bat] file in a non-default location
|