Currently, Vampire must do it manually from time to time.
I think we need this step automated at least say, once a week.
Submitted | ezust - 2014-04-14 16:46:06.713000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | minor bug |
Resolution | None |
2014-04-14 17:50:33.868000 elberry |
if he can explain his process, we could probably put it in jenkins |
---|