add unthunk in rrules of eig! eigh! leftorth! rightorth! (…
#430
| Job | Run time |
|---|---|
| 1h 25m 16s | |
| 44m 14s | |
| 1h 35m 42s | |
| 1h 13m 53s | |
| 34m 37s | |
| 1h 24m 42s | |
| 1h 29m 59s | |
| 35m 0s | |
| 1h 41m 19s | |
| 10h 44m 42s |