Use bytes_small for shorter counterexample shrinking #141
jmidcygwin-510.yml
on: push
part1
/
test
3h 26m
part2
/
test
3h 42m
Annotations
5 warnings
|
part1 / test
The process 'D:\cygwin\bin\git.exe' failed with exit code 128
|
|
part1 / test
Cache save failed.
|
|
part2 / test
Cache save failed.
|
|
part2 / test
The process 'D:\cygwin\bin\git.exe' failed with exit code 128
|
|
part2 / test
Cache save failed.
|