Skip to content
Snippets Groups Projects
Commit 0472fee0 authored by Erick Hitter's avatar Erick Hitter
Browse files

Merge branch 'add/ci' into 'master'

CI: port Travis config to GitLab

See merge request !2
parents 77391854 61de7824
Branches
Tags
1 merge request!2CI: port Travis config to GitLab
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment