Add CircleCi config

2019-11-08 16:37:47 +03:00
parent 483f6c8bd6
commit 639888d227
4 changed files with 19 additions and 3 deletions
--- a/tools/crystal
+++ b/tools/crystal
@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env sh

 set -eu

--- a/tools/shards
+++ b/tools/shards
@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env sh

 set -eu