set up GitLab pipeline
- Makefile.txt
- gitlab-ci.yml
changed due date to March 30, 2020
marked the checklist item gitlab-ci.yml as completed
marked the checklist item Makefile.txt as completed
changed due date to March 31, 2020
closed via commit 70cb6a21