Skip to content
check

Prove that Kuratowski finite decidable sets are finite #301

Sign in to view logs

Prove that Kuratowski finite decidable sets are finite

Prove that Kuratowski finite decidable sets are finite #301

Triggered via push June 27, 2023 16:25
@valisvalis
pushed 42dc8b6
master
Status Success
Total duration 8m 17s
Artifacts –

gradle.yml

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

Annotations

12 warnings
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 (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 (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
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
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 (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