diff --git a/.circleci/config.yml b/.circleci/config.yml new file mode 100644 index 0000000..816fa01 --- /dev/null +++ b/.circleci/config.yml @@ -0,0 +1,11 @@ +version: 2.0 +jobs: + build: + docker: + - image: kimstebel/idris:1.1.1 + working_directory: ~/IdrisScript + steps: + - checkout + - run: + command: | + make diff --git a/README.md b/README.md index 1a2a3ea..19c55dd 100644 --- a/README.md +++ b/README.md @@ -2,3 +2,5 @@ IdrisScript =========== FFI Bindings to interact with the unsafe world of JavaScript + +[![CircleCI](https://circleci.com/gh/KimStebel/IdrisScript/tree/master.svg?style=svg)](https://circleci.com/gh/KimStebel/IdrisScript/tree/master)