add circleci

informalsystems · Aug 18, 2019 · 85982e5 · 85982e5
1 parent 6f6015d
commit 85982e5
Showing 1 changed file with 47 additions and 0 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -0,0 +1,47 @@
+version: 2
+
+jobs:
+  build:
+    docker:
+    - image: circleci/rust
+    steps:
+    - checkout
+    - run:
+        name: rustfmt
+        command: |
+          cargo fmt --version
+          cargo fmt -- --check
+    - run:
+        name: clippy
+        command: |
+          cargo clippy --version
+          cargo clippy 
+    - run:
+        name: build 
+        command: |
+          rustc --version
+          cargo --version
+          cargo build 
+    - run:
+        name: build --benches
+        command: |
+          rustc --version
+          cargo --version
+          cargo build --benches
+    - run:
+        name: build --release
+        command: |
+          rustc --version
+          cargo --version
+          cargo build --release
+    - run:
+        name: test
+        command: |
+          rustc --version
+          cargo --version
+          cargo test 
+    - run:
+        name: audit
+        command: |
+          cargo audit --version
+          cargo audit