Merge pull request #193 from o1-labs/mimoo/permut

[kimchi] fix bugs and abstraction for permutation's shifts
o1-labs · Oct 28, 2021 · 249ccc8 · 249ccc8
2 parents c9ead7f + 923799b
commit 249ccc8
Show file tree

Hide file tree

Showing 7 changed files with 497 additions and 413 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -29,3 +29,7 @@ jobs:
       - name: build ocaml types
         run: |
           cargo build --features ocaml_types
+
+      - name: Run cargo fmt
+        run: |
+          cargo fmt