chore: remove TODOs about proptest cases #857
Job | Run time |
---|---|
47s | |
46s | |
19s | |
2m 20s | |
1m 30s | |
12s | |
1m 43s | |
1m 40s | |
2m 16s | |
1m 40s | |
1m 43s | |
2m 24s | |
1m 35s | |
1m 35s | |
2m 10s | |
1m 18s | |
1m 24s | |
1s | |
25m 23s |
Job | Run time |
---|---|
47s | |
46s | |
19s | |
2m 20s | |
1m 30s | |
12s | |
1m 43s | |
1m 40s | |
2m 16s | |
1m 40s | |
1m 43s | |
2m 24s | |
1m 35s | |
1m 35s | |
2m 10s | |
1m 18s | |
1m 24s | |
1s | |
25m 23s |