add stdbool foreign type (#873)
#347
| Job | Run time |
|---|---|
| 29m 27s | |
| 15m 17s | |
| 19m 18s | |
| 8m 42s | |
| 10m 19s | |
| 11m 39s | |
| 14m 32s | |
| 9m 0s | |
| 11m 33s | |
| 7m 50s | |
| 11m 29s | |
| 14m 29s | |
| 12m 28s | |
| 15m 4s | |
| 13m 39s | |
| 3h 24m 46s |