[SyncWith:zkllvm#479]Improve satisfiability check #642

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Call Reusable SyncWith Handler / Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs	1s
run_tests (blueprint_algebra_fields_plonk_field_operations_test)	2m 46s
run_tests (blueprint_algebra_fields_plonk_exponentiation_test)	2m 38s
run_tests (blueprint_algebra_curves_plonk_unified_addition_test)	2m 32s
run_tests (blueprint_algebra_curves_plonk_variable_base_scalar_mul_test)	2m 56s
run_tests (blueprint_verifiers_kimchi_sponge_oracles_test)	2m 51s
run_tests (blueprint_hashes_plonk_poseidon_test)	2m 29s
run_tests (blueprint_algebra_curves_plonk_endo_scalar_test)	4m 5s
run_tests (blueprint_algebra_fields_plonk_range_check_test)	2m 48s
run_tests (blueprint_algebra_fields_plonk_logic_and_flag_test)	2m 58s
run_tests (blueprint_algebra_fields_plonk_logic_or_flag_test)	2m 59s
run_tests (blueprint_algebra_fields_plonk_interpolation_test)	2m 44s
run_tests (blueprint_algebra_fields_plonk_non_native_addition_test)	2m 24s
run_tests (blueprint_algebra_fields_plonk_non_native_subtraction_test)	2m 22s
run_tests (blueprint_algebra_fields_plonk_non_native_multiplication_test)	2m 30s
run_tests (blueprint_algebra_fields_plonk_non_native_range_test)	2m 31s
run_tests (blueprint_algebra_fields_plonk_non_native_reduction_test)	2m 26s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_decomposition_test)	2m 58s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_composition_test)	3m 7s
run_tests (blueprint_algebra_fields_plonk_non_native_bit_shift_constant_test)	2m 56s
run_tests (blueprint_algebra_fields_plonk_non_native_logic_ops_test)	2m 25s
run_tests (blueprint_algebra_fields_plonk_non_native_lookup_logic_ops_test)	3m 56s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_checked_test)	2m 55s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_unchecked_test)	3m 55s
run_tests (blueprint_algebra_fields_plonk_non_native_comparison_flag_test)	2m 45s
run_tests (blueprint_algebra_fields_plonk_non_native_equality_flag_test)	2m 38s
run_tests (blueprint_algebra_fields_plonk_non_native_division_remainder_test)	2m 39s
run_tests (blueprint_non_native_plonk_scalar_non_native_range_test)	2m 20s
run_tests (blueprint_non_native_plonk_bool_scalar_multiplication_test)	2m 22s
run_tests (blueprint_non_native_plonk_add_mul_zkllvm_compatible_test)	3m 58s
run_tests (blueprint_hashes_plonk_decomposition_test)	3m 56s
run_tests (blueprint_verifiers_placeholder_fri_cosets_test)	2m 22s
run_tests (blueprint_hashes_plonk_sha256_process_test)	2m 41s
run_tests (blueprint_hashes_plonk_sha512_process_test)	2m 26s
run_tests (blueprint_hashes_plonk_sha256_test)	5m 8s
run_tests (blueprint_hashes_plonk_sha512_test)	2m 40s
run_tests (blueprint_algebra_fields_plonk_sqrt_test)	2m 57s
run_tests (blueprint_verifiers_placeholder_fri_lin_inter_test)	2m 38s
run_tests (blueprint_verifiers_placeholder_fri_array_swap_test)	2m 38s
run_tests (blueprint_manifest_test)	1m 28s
run_tests (blueprint_detail_huang_lu_test)	1m 56s
run_tests (blueprint_private_input_test)	2m 17s
run_tests (blueprint_verifiers_placeholder_permutation_argument_verifier_test)	2m 24s
run_tests (blueprint_verifiers_placeholder_gate_argument_verifier_test)	2m 30s
run_tests (blueprint_verifiers_placeholder_lookup_argument_verifier_test)	3m 11s
run_tests (blueprint_verifiers_placeholder_f1_loop_test)	2m 40s
run_tests (blueprint_verifiers_placeholder_f3_loop_test)	2m 29s
run_tests (blueprint_verifiers_placeholder_gate_component_test)	2m 31s
run_tests (blueprint_proxy_test)	2m 16s
	2h 14m 2s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[SyncWith:zkllvm#479]Improve satisfiability check #642

Usage

[SyncWith:zkllvm#479]Improve satisfiability check #642

Jobs

Run details

Run time