Skip to content

Actions: starkware-libs/stwo-cairo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
943 workflow runs
943 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement trailing zeros Cairo workflow #1138: Pull request #123 synchronize by atgrosso
October 31, 2024 15:54 2m 13s atgrosso:10-14-todo_implement_trailing_zeros
atgrosso:10-14-todo_implement_trailing_zeros
October 31, 2024 15:54 2m 13s
Add PCS verifier Cairo workflow #1137: Pull request #151 synchronize by atgrosso
October 31, 2024 15:49 2m 4s atgrosso:10-31-add_pcs_verifier
atgrosso:10-31-add_pcs_verifier
October 31, 2024 15:49 2m 4s
Add PCS verifier Cairo workflow #1136: Pull request #151 opened by atgrosso
October 31, 2024 15:48 2m 6s atgrosso:10-31-add_pcs_verifier
atgrosso:10-31-add_pcs_verifier
October 31, 2024 15:48 2m 6s
add bool ops and change biguint supported types Cairo workflow #1135: Pull request #150 opened by anatgstarkware
October 31, 2024 15:09 2m 6s anatg/prover_types/bool
anatg/prover_types/bool
October 31, 2024 15:09 2m 6s
made components implement our interfaces Cairo workflow #1134: Pull request #149 synchronize by ohad-starkware
October 31, 2024 14:46 2m 10s ohad/interface_sync
ohad/interface_sync
October 31, 2024 14:46 2m 10s
made components implement our interfaces Cairo workflow #1133: Pull request #149 opened by ohad-starkware
October 31, 2024 14:45 2m 5s ohad/interface_sync
ohad/interface_sync
October 31, 2024 14:45 2m 5s
Range check memory values in id_to_f252 trace generator (#148) Cairo workflow #1132: Commit 637377f pushed by shaharsamocha7
October 31, 2024 09:07 2m 7s main
main
October 31, 2024 09:07 2m 7s
Range check memory values in id_to_f252 trace generator Cairo workflow #1131: Pull request #148 synchronize by shaharsamocha7
October 31, 2024 08:29 2m 10s 10-31-Range_check_memory_values_in_id_to_f252_trace_generator
10-31-Range_check_memory_values_in_id_to_f252_trace_generator
October 31, 2024 08:29 2m 10s
Range check memory values in id_to_f252 trace generator Cairo workflow #1130: Pull request #148 edited by shaharsamocha7
October 31, 2024 08:03 2m 1s 10-31-Range_check_memory_values_in_id_to_f252_trace_generator
10-31-Range_check_memory_values_in_id_to_f252_trace_generator
October 31, 2024 08:03 2m 1s
Range check memory values in id_to_f252 trace generator Cairo workflow #1129: Pull request #148 opened by shaharsamocha7
October 31, 2024 08:01 2m 6s 10-31-Range_check_memory_values_in_id_to_f252_trace_generator
10-31-Range_check_memory_values_in_id_to_f252_trace_generator
October 31, 2024 08:01 2m 6s
rangecheck macro adjustments (#147) Cairo workflow #1128: Commit c1f718f pushed by ohad-starkware
October 31, 2024 07:45 2m 5s main
main
October 31, 2024 07:45 2m 5s
rangecheck macro adjustments Cairo workflow #1127: Pull request #147 synchronize by ohad-starkware
October 31, 2024 07:42 2m 4s ohad/range_check_vector_claim_generator
ohad/range_check_vector_claim_generator
October 31, 2024 07:42 2m 4s
renamed component structures (#146) Cairo workflow #1126: Commit bea5002 pushed by ohad-starkware
October 31, 2024 07:41 2m 10s main
main
October 31, 2024 07:41 2m 10s
rangecheck macro adjustments Cairo workflow #1125: Pull request #147 edited by ohad-starkware
October 31, 2024 07:41 2m 17s ohad/range_check_vector_claim_generator
ohad/range_check_vector_claim_generator
October 31, 2024 07:41 2m 17s
rangecheck macro adjustments Cairo workflow #1124: Pull request #147 synchronize by ohad-starkware
October 31, 2024 07:21 2m 1s ohad/range_check_vector_claim_generator
ohad/range_check_vector_claim_generator
October 31, 2024 07:21 2m 1s
renamed component structures Cairo workflow #1123: Pull request #146 synchronize by ohad-starkware
October 31, 2024 07:20 2m 10s ohad/renaming_and_imports
ohad/renaming_and_imports
October 31, 2024 07:20 2m 10s
renamed component structures Cairo workflow #1122: Pull request #146 edited by ohad-starkware
October 31, 2024 07:12 2m 10s ohad/renaming_and_imports
ohad/renaming_and_imports
October 31, 2024 07:12 2m 10s
rangecheck macro adjustments Cairo workflow #1121: Pull request #147 edited by ohad-starkware
October 31, 2024 07:12 2m 4s ohad/range_check_vector_claim_generator
ohad/range_check_vector_claim_generator
October 31, 2024 07:12 2m 4s
rangecheck macro adjustments Cairo workflow #1120: Pull request #147 opened by ohad-starkware
October 30, 2024 17:03 2m 4s ohad/range_check_vector_claim_generator
ohad/range_check_vector_claim_generator
October 30, 2024 17:03 2m 4s
renamed component structures Cairo workflow #1119: Pull request #146 opened by ohad-starkware
October 30, 2024 15:45 2m 15s ohad/renaming_and_imports
ohad/renaming_and_imports
October 30, 2024 15:45 2m 15s
packed types (#142) Cairo workflow #1118: Commit 194e411 pushed by ohad-starkware
October 30, 2024 12:47 2m 2s main
main
October 30, 2024 12:47 2m 2s
packed types Cairo workflow #1117: Pull request #142 synchronize by ohad-starkware
October 30, 2024 12:40 2m 10s ohad/prover_types
ohad/prover_types
October 30, 2024 12:40 2m 10s
packed types Cairo workflow #1116: Pull request #142 synchronize by ohad-starkware
October 30, 2024 12:39 2m 21s ohad/prover_types
ohad/prover_types
October 30, 2024 12:39 2m 21s
auto expand rangecheck evals (#145) Cairo workflow #1115: Commit fe197ff pushed by ohad-starkware
October 30, 2024 12:16 2m 3s main
main
October 30, 2024 12:16 2m 3s
auto expand rangecheck evals Cairo workflow #1114: Pull request #145 synchronize by ohad-starkware
October 30, 2024 12:13 2m 6s ohad/rangecheck_macro
ohad/rangecheck_macro
October 30, 2024 12:13 2m 6s