Update ci -- run mcsat with thread-safety (#468) #236
Job | Run time |
---|---|
9m 59s | |
9m 42s | |
5m 33s | |
4m 30s | |
5m 58s | |
7m 8s | |
3m 2s | |
3m 27s | |
9m 7s | |
11m 44s | |
1h 10m 10s |
Job | Run time |
---|---|
9m 59s | |
9m 42s | |
5m 33s | |
4m 30s | |
5m 58s | |
7m 8s | |
3m 2s | |
3m 27s | |
9m 7s | |
11m 44s | |
1h 10m 10s |