Remo RechkemmerandGitHub 08186ea51c Nixify CircleCI setup (#1535) ...

* package ghr
* add nix-based release scripts
* refactor CI based on nix tests and release scripts
* update stack version in circleci
* update makefile
* remove docker directory
* add Docker Hub description
* add README on docker

2020-05-25 11:27:35 -05:00

..

default.nix

Nixify CircleCI setup (#1535)

2020-05-25 11:27:35 -05:00

docker-hub-description.md

Nixify CircleCI setup (#1535)

2020-05-25 11:27:35 -05:00

docker-hub-full-description.md

Nixify CircleCI setup (#1535)

2020-05-25 11:27:35 -05:00