Add Rust toolchain file.

arkworks-rs · Dec 21, 2023 · 844a85e · 844a85e
1 parent b8558ab
commit 844a85e
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 10 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -16,6 +16,9 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
+    - uses: actions-rs/toolchain@v1
+      with:
+        toolchain: nightly
     - name: Build
       run: cargo build --verbose
     - name: Run tests

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -0,0 +1,4 @@
+[toolchain]
+channel = "nightly"
+components = [ "rustfmt", "rustc-dev" ]
+profile = "minimal"
diff --git a/src/lib.rs b/src/lib.rs
@@ -51,7 +51,6 @@
 #![feature(
     iter_advance_by,
     iter_next_chunk,
-    int_roundings,
     slice_as_chunks,
     array_chunks
 )]