Setup CI on gitlab

Things we expect from CI jobs:

• Build the artefact with each push
• Run the test cases with each push
• Check the code style with each push
• Build & deploy documents with each tag
• Build and release the artefact with each tag