Ran format

Make goal reactive

Pipeline for push

Added challenge completed endpoint.

Ran type, test and format check

created challenge and goal store