Skip to content

Some optimizations in constraint synthesis. #519

Some optimizations in constraint synthesis.

Some optimizations in constraint synthesis. #519

Triggered via pull request June 26, 2025 22:54
Status Failure
Total duration 1m 5s
Artifacts

ci.yml

on: pull_request
Check Style
16s
Check Style
Check no_std
36s
Check no_std
Matrix: Test
Fit to window
Zoom out
Zoom in

Annotations

11 errors and 20 warnings
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/