Merge branch 'shimura_curves' into shimura_curves_working #276
| Job | Run time |
|---|---|
| 7s | |
| 5m 18s | |
| 2m 34s | |
| 3m 7s | |
| 18m 36s | |
| 1h 29m 51s | |
| 9m 52s | |
| 3m 36s | |
| 3m 53s | |
| 4m 22s | |
| 2m 1s | |
| 11m 37s | |
| 6m 47s | |
| 2m 42s | |
| 2h 44m 23s |
| Job | Run time |
|---|---|
| 7s | |
| 5m 18s | |
| 2m 34s | |
| 3m 7s | |
| 18m 36s | |
| 1h 29m 51s | |
| 9m 52s | |
| 3m 36s | |
| 3m 53s | |
| 4m 22s | |
| 2m 1s | |
| 11m 37s | |
| 6m 47s | |
| 2m 42s | |
| 2h 44m 23s |