ci: Add Nix based build test (!4) · Merge requests · Archive / buoh · GitLab

This is an archived project. Repository and other project resources are read-only.

Jan Tojnar requested to merge ci into master Aug 29, 2018

Inspired by Coq Nix expressions:

https://gitlab.com/coq/coq/blob/master/default.nix