Ticket #1780 (closed: invalid)
Developer Tools: Any tools useful for developers
Reported by: | Janik Zikovsky | Owned by: | Nick Draper |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | Mantid | Keywords: | developer |
Cc: | Blocked By: | ||
Blocking: | Tester: |
Description
I am making a ticket for people to check-in developer tools, such as little helper scripts etc. instead of going into #100.
Change History
Note: See
TracTickets for help on using
tickets.
(In [7005]) Refs #1780: Improved my runAllTests script to split up algorithms into two blocks for faster execution. Also fixed some paths in tests to help them pass on my system.