ci & make

Author: Okm165

.github/workflows/zkemail-cairo-ci.yaml

@@ -0,0 +1,61 @@
+name: zkemail-cairo-ci
+
+on:
+  push:
+    branches:
+      - "**"
+
+jobs:
+  check:
+    name: Format and Lint
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout Code
+        uses: actions/checkout@v3
+
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: "3.9"
+
+      - name: Set up Rust
+        uses: actions-rust-lang/setup-rust-toolchain@v1
+
+      - name: Set up Cairo0
+        run: make
+
+      - name: Run Rust fmt check
+        run: cargo fmt --all -- --check
+
+      - name: Run Rust clippy check
+        run: cargo clippy -- -D warnings
+      
+      - name: Run Cairo fmt check
+        run: make format-check
+
+  test:
+    name: Run Tests
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout Code
+        uses: actions/checkout@v3
+
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: "3.9"
+
+      - name: Set up Rust
+        uses: actions-rust-lang/setup-rust-toolchain@v1
+
+      - name: Set up Cairo0
+        run: make
+
+      - name: Install Nextest
+        uses: taiki-e/install-action@nextest
+
+      - name: Run tests
+        run: cargo nextest run
+

Makefile

@@ -0,0 +1,18 @@
+# Makefile
+
+.PHONY: all setup format format-check
+
+# Default target
+all: setup
+
+# Run setup.sh
+setup:
+	bash setup.sh
+
+# Run cairo-format inplace
+format:
+	source ./venv/bin/activate && cairo-format -i *.cairo
+
+# Run cairo-format check
+format-check:
+	source ./venv/bin/activate && cairo-format -c *.cairo

README.md

@@ -20,7 +20,7 @@ The project is implemented in Cairo, a language designed for creating provable p
 
 2. **Set Up Cairo0 compiler**:
    ```bash
-   ./setup.sh
+   make
    ```
 
 3. **Run the example verifications**: