Avoiding error message in log output for Isabelle 2021 when invoking … #182
Annotations
1 warning
|
Checkout repository
Unable to clean or reset the repository. The repository will be recreated instead.
|
The logs for this run have expired and are no longer available.
Loading