v0.11.102.0-r4: allow newer tasty-quickcheck; bump CI #14
Job | Run time |
---|---|
7m 0s | |
7m 25s | |
7m 28s | |
8m 12s | |
7m 52s | |
9m 45s | |
10m 30s | |
9m 22s | |
9m 7s | |
10m 12s | |
1h 26m 53s |
Job | Run time |
---|---|
7m 0s | |
7m 25s | |
7m 28s | |
8m 12s | |
7m 52s | |
9m 45s | |
10m 30s | |
9m 22s | |
9m 7s | |
10m 12s | |
1h 26m 53s |