close #3280: allow animations to be named none
#3818
Job | Run time |
---|---|
49s | |
7m 32s | |
7m 49s | |
6m 28s | |
10m 1s | |
5m 44s | |
38m 23s |
none
#3818
Job | Run time |
---|---|
49s | |
7m 32s | |
7m 49s | |
6m 28s | |
10m 1s | |
5m 44s | |
38m 23s |