Update to the fixed version of Vampire
#1134
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
1 warning
|
build
The process 'C:\tools\cygwin\bin\git.exe' failed with exit code 128
|