[github] Give an error when using .addtrace with no args

Closes #649