chore(deps): update proptest #879
Job | Run time |
---|---|
43s | |
1m 13s | |
20s | |
1m 12s | |
53s | |
35s | |
2m 7s | |
13s | |
1m 6s | |
1m 11s | |
2m 6s | |
58s | |
1m 5s | |
1m 58s | |
19s | |
24s | |
1s | |
16m 24s |
Job | Run time |
---|---|
43s | |
1m 13s | |
20s | |
1m 12s | |
53s | |
35s | |
2m 7s | |
13s | |
1m 6s | |
1m 11s | |
2m 6s | |
58s | |
1m 5s | |
1m 58s | |
19s | |
24s | |
1s | |
16m 24s |