Skip to content

Migrate Github CI to GitLab CI.

I'd wait to see if it passes cleanly on my fork before merging.

see #51.

Merge request reports