Update Python wheels download script, IBEX version (now includes gaol/gaol instead of goal/gaol.h), arm packages and wheels generation, documentation #204
Job | Run time |
---|---|
7m 50s | |
8m 35s | |
7m 44s | |
8m 13s | |
8m 8s | |
7m 40s | |
8m 32s | |
8m 46s | |
7m 36s | |
7m 35s | |
8m 9s | |
9m 12s | |
8m 42s | |
8m 57s | |
1h 55m 39s |