feat: port CI from halo2curves (#4)

This commit is contained in:
Han
2023-08-17 19:10:25 +08:00
committed by GitHub
parent 16e261bbed
commit 77a0c8e6e3
4 changed files with 108 additions and 2 deletions

1
rust-toolchain Normal file
View File

@@ -0,0 +1 @@
1.71.0