Merge pull request #414 from math-comp/saturate-filter #276
| Job | Run time |
|---|---|
| 35s | |
| 1m 14s | |
| 35s | |
| 5m 49s | |
| 1m 49s | |
| 1m 40s | |
| 1m 14s | |
| 1m 44s | |
| 1m 50s | |
| 1m 9s | |
| 1m 38s | |
| 1m 22s | |
| 1m 37s | |
| 2m 54s | |
| 4m 40s | |
| 13m 33s | |
| 1m 24s | |
| 2m 5s | |
| 2m 12s | |
| 4m 4s | |
| 2m 55s | |
| 5m 18s | |
| 2m 47s | |
| 2m 34s | |
| 16m 7s | |
| 2m 55s | |
| 3m 32s | |
| 13m 1s | |
| 1h 42m 17s |