check

Move GSet and make some functions into lemmas #422

Annotations

2 errors and 2 warnings

The job was canceled because "ubuntu-latest_17" failed.

The operation was canceled.

Input 'wrapper-cache-enabled' has been deprecated with message: Replaced by 'distributions-cache-enabled' which enables caching for all downloaded Gradle distributions

Input 'wrapper-directory' has been deprecated with message: Use 'gradle-executable' to point to a gradlew[.bat] file in a non-default location

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Move GSet and make some functions into lemmas #422

gradle (windows-latest, 17)

Move GSet and make some functions into lemmas #422

Jobs

Run details

Annotations

This job was cancelled

Re-running jobs...