Prove all isomorphism theorems for groups, refactoring #448
sxhyaAnnotations
5 errors and 7 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)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
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
|