Skip to content

Use the ARM for check_std#4

Open
weikengchen wants to merge 1 commit intoarkworks-rs:mainfrom
weikengchen:patch-1
Open

Use the ARM for check_std#4
weikengchen wants to merge 1 commit intoarkworks-rs:mainfrom
weikengchen:patch-1

Conversation

@weikengchen
Copy link
Member

When adding the CI for PCD and IVLS, I revisit this document.

I made some changes based on the CI.yml of nonnative but I am not sure if they are appropriate for the template.

Thoughts?

Comment on lines +110 to +113
- name: Check
run: |
cargo build --no-default-features --target aarch64-unknown-none
cargo check --examples --no-default-features --target aarch64-unknown-none
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why not use the other structure, while changing the target to aarch64-unknown-none?

with:
command: check
args: --all-features --examples --workspace --benches
args: --all-features --examples --all --benches
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I believe --all is deprecated

args: "--workspace \
--all-features \
--exclude ark-poly-benches"
args: "--all \
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
args: "--all \
args: "--workspace \

runs-on: ubuntu-latest
env:
RUSTFLAGS: -Dwarnings
RUSTFLAGS: -Dwarnings --cfg ci
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

what does --cfg ci do?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants