Add 'tau' alias for 'τ', closes #581 #1267
Job | Run time |
---|---|
2m 17s | |
8s | |
13s | |
5m 43s | |
1m 57s | |
3m 31s | |
4m 5s | |
3m 48s | |
6m 16s | |
3m 49s | |
4m 16s | |
4m 44s | |
5m 53s | |
3m 43s | |
3m 34s | |
53m 57s |
Job | Run time |
---|---|
2m 17s | |
8s | |
13s | |
5m 43s | |
1m 57s | |
3m 31s | |
4m 5s | |
3m 48s | |
6m 16s | |
3m 49s | |
4m 16s | |
4m 44s | |
5m 53s | |
3m 43s | |
3m 34s | |
53m 57s |