Skip to content

Some optimizations in constraint synthesis. #518

Some optimizations in constraint synthesis.

Some optimizations in constraint synthesis. #518

Triggered via pull request June 26, 2025 17:48
Status Failure
Total duration 1m 4s
Artifacts

ci.yml

on: pull_request
Check Style
6s
Check Style
Check no_std
26s
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 (nightly)
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
Test (nightly)
could not compile `ark-relations` (lib) due to 3 previous errors
Test (nightly): relations/src/utils/variable.rs#L69
method `SymbolicLc` should have a snake case name
Test (nightly): relations/src/utils/variable.rs#L57
method `Witness` should have a snake case name
Test (nightly): relations/src/utils/variable.rs#L45
method `Instance` should have a snake case name
Test (stable)
The operation was canceled.
Test (stable)
could not compile `ark-relations` (lib) due to 3 previous errors
Test (stable): relations/src/utils/variable.rs#L69
method `SymbolicLc` should have a snake case name
Test (stable): relations/src/utils/variable.rs#L57
method `Witness` should have a snake case name
Test (stable): relations/src/utils/variable.rs#L45
method `Instance` should have a snake case name
Test (stable)
The strategy configuration was canceled because "test.nightly" 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#L69
method `SymbolicLc` should have a snake case name
Check no_std: relations/src/utils/variable.rs#L57
method `Witness` should have a snake case name
Check no_std: relations/src/utils/variable.rs#L45
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 (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/
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/