Merge pull request #30 from filecoin-project/fix-checks

filecoin-project · Jun 8, 2020 · 25e8e4e · 25e8e4e
2 parents 0ecd251 + 62a1aa3
commit 25e8e4e
Show file tree

Hide file tree

Showing 8 changed files with 97 additions and 774 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,3 +2,4 @@
 **/*.rs.bk
 bls-signatures-ffi/target
 *.profile
+Cargo.lock