mirror of
https://github.com/arnaucube/babyjubjub-ark.git
synced 2026-01-13 17:21:29 +01:00
port https://github.com/arnaucube/babyjubjub-rs to arkworks ff
This commit is contained in:
11
.github/workflows/clippy.yml
vendored
11
.github/workflows/clippy.yml
vendored
@@ -1,11 +0,0 @@
|
||||
name: Clippy check
|
||||
on: [push, pull_request]
|
||||
jobs:
|
||||
clippy_check:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/checkout@v1
|
||||
- run: rustup component add clippy
|
||||
- uses: actions-rs/clippy-check@v1
|
||||
with:
|
||||
token: ${{ secrets.GITHUB_TOKEN }}
|
||||
Reference in New Issue
Block a user