[INFO] fetching crate verusfmt 0.5.7...
[INFO] testing verusfmt-0.5.7 against try#16fbf98f22730e073c09e7b03f0eafb87a295545 for pr-145628
[INFO] testing verusfmt-0.5.7 against try#16fbf98f22730e073c09e7b03f0eafb87a295545 for pr-145628
[INFO] testing verusfmt-0.5.7 against try#16fbf98f22730e073c09e7b03f0eafb87a295545 for pr-145628
[INFO] testing verusfmt-0.5.7 against try#16fbf98f22730e073c09e7b03f0eafb87a295545 for pr-145628
[INFO] testing verusfmt-0.5.7 against try#16fbf98f22730e073c09e7b03f0eafb87a295545 for pr-145628


No such file or directory (os error 2)