Skip to content

fix(gpu_prover): fix compilation issues introduced with CUDA 13.1 (#181) #777

fix(gpu_prover): fix compilation issues introduced with CUDA 13.1 (#181)

fix(gpu_prover): fix compilation issues introduced with CUDA 13.1 (#181) #777

Triggered via push December 12, 2025 16:56
Status Success
Total duration 12m 5s
Artifacts 4

ci.yml

on: push
build_cli_with_verify
1m 10s
build_cli_with_verify
build_cli_no_verifiers_512
2m 8s
build_cli_no_verifiers_512
tests
1m 6s
tests
cargo fmt
23s
cargo fmt
ISA tests for simulator
45s
ISA tests for simulator
full_recursion_fast
1m 48s
full_recursion_fast
risc_v_tests_delegations
44s
risc_v_tests_delegations
circuits_generated
1m 57s
circuits_generated
build_cli_no_verifiers
2m 53s
build_cli_no_verifiers
verification_example
7m 22s
verification_example
oh_bender_incremental_proofs
1m 34s
oh_bender_incremental_proofs
full_recursion
3m 36s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
tests: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
build_cli_with_verify: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
circuits_generated: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
full_recursion_fast: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
full_recursion_fast: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
full_recursion_fast: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
build_cli_no_verifiers_512: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
build_cli_no_verifiers_512: field/src/ext_avx_512_impl.rs#L58
use of deprecated method `rand::Rng::gen_range`: Renamed to `random_range`
build_cli_no_verifiers_512: field/src/ext_avx_512_impl.rs#L55
use of deprecated method `rand::Rng::gen_range`: Renamed to `random_range`
build_cli_no_verifiers_512: field/src/avx_512_impl.rs#L36
use of deprecated method `rand::Rng::gen_range`: Renamed to `random_range`
build_cli_no_verifiers_512: field/src/lib.rs#L9
the feature `stdarch_x86_avx512` has been stable since 1.89.0 and no longer requires an attribute to enable
build_cli_no_verifiers: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable

Artifacts

Produced during runtime
Name Size Digest
cli
5.27 MB
sha256:29ebd858426548b8a98c5616f0f8f1df1cd868b26001629435a1462ddb3342c4
cli_512
5.23 MB
sha256:296189195c94bf9c074809b212c658479251fc71a89c40c9e8fd97416898bbc2
cli_with_verify
8.59 MB
sha256:9f2f622ee3d14544750de6a4d120dbfc5168f8253b5c09f384d110781726010c
verifier
558 KB
sha256:c445f491582a2a046a257005eea64e04677d144b2df9731aec08a79c376eb03a