Added CI quint sub-task to test task