Skip to content

Some optimizations in constraint synthesis. #515

Some optimizations in constraint synthesis.

Some optimizations in constraint synthesis. #515

Triggered via pull request June 26, 2025 16:28
Status Failure
Total duration 1m 0s
Artifacts

ci.yml

on: pull_request
Check Style
8s
Check Style
Check no_std
25s
Check no_std
Matrix: Test
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 20 warnings
Check Style
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1
Test (stable)
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
Test (stable)
could not compile `ark-relations` (lib) due to 3 previous errors
Test (stable): relations/src/utils/variable.rs#L72
method `SymbolicLc` should have a snake case name
Test (stable): relations/src/utils/variable.rs#L60
method `Witness` should have a snake case name
Test (stable): relations/src/utils/variable.rs#L48
method `Instance` should have a snake case name
Test (nightly)
The operation was canceled.
Test (nightly)
could not compile `ark-relations` (lib) due to 3 previous errors
Test (nightly): relations/src/utils/variable.rs#L72
method `SymbolicLc` should have a snake case name
Test (nightly): relations/src/utils/variable.rs#L60
method `Witness` should have a snake case name
Test (nightly): relations/src/utils/variable.rs#L48
method `Instance` should have a snake case name
Test (nightly)
The strategy configuration was canceled because "test.stable" failed
Check Style
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check Style
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check Style
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check Style
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check no_std
`ark-relations` (lib) generated 3 warnings
Check no_std: relations/src/utils/variable.rs#L72
method `SymbolicLc` should have a snake case name
Check no_std: relations/src/utils/variable.rs#L60
method `Witness` should have a snake case name
Check no_std: relations/src/utils/variable.rs#L48
method `Instance` should have a snake case name
Check no_std
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check no_std
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check no_std
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check no_std
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test (stable)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test (stable)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test (stable)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test (stable)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test (nightly)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test (nightly)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test (nightly)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Test (nightly)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/