CI/CD

Use gitlab workflows for CI/CD.