Skip to content

Update GitLab CI configuration

username-removed-6325 requested to merge update-gitlab-ci into master

Description of changes

Update GitLab CI. After reading GitLab's blog post about their CI system, it seems that we can easily start generating build artifacts for PRs and regular pushes.

Related to: N/A

Merge request reports