From 080cd6ac1c8708aa044dccd86dfe3e86660ef824 Mon Sep 17 00:00:00 2001 From: Kim Stebel Date: Wed, 23 Aug 2017 19:31:02 +0100 Subject: [PATCH 1/2] circle ci --- .circleci/config.yml | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 .circleci/config.yml 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 From f513aea66982066bf3bb29cc18e007b8773278ed Mon Sep 17 00:00:00 2001 From: Kim Stebel Date: Wed, 23 Aug 2017 19:41:56 +0100 Subject: [PATCH 2/2] circle ci badge --- README.md | 2 ++ 1 file changed, 2 insertions(+) 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)