Greatly reduce the compilation time of src/Arithmetic/BarrettReductio… #885
| Job | Run time |
|---|---|
| 42m 20s | |
| 32m 36s | |
| 1h 39m 19s | |
| 42m 34s | |
| 31m 28s | |
| 1h 34m 0s | |
| 43m 58s | |
| 33m 4s | |
| 1h 41m 15s | |
| 8h 40m 34s |
| Job | Run time |
|---|---|
| 42m 20s | |
| 32m 36s | |
| 1h 39m 19s | |
| 42m 34s | |
| 31m 28s | |
| 1h 34m 0s | |
| 43m 58s | |
| 33m 4s | |
| 1h 41m 15s | |
| 8h 40m 34s |