Skip to content

Actions: starkware-libs/stwo

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
7,618 workflow runs
7,618 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove redundant collect in framework. CI #7684: Pull request #896 synchronize by Alon-Ti
November 23, 2024 04:21 Queued alont/generalize-gen-interaction-trace4
alont/generalize-gen-interaction-trace4
November 23, 2024 04:21 Queued
Remove redundant collect in framework. CI #7683: Pull request #896 edited by Alon-Ti
November 23, 2024 04:21 Queued alont/generalize-gen-interaction-trace4
alont/generalize-gen-interaction-trace4
November 23, 2024 04:21 Queued
Remove redundant collect in framework. CI #7682: Pull request #896 synchronize by Alon-Ti
November 23, 2024 04:20 Queued alont/generalize-gen-interaction-trace4
alont/generalize-gen-interaction-trace4
November 23, 2024 04:20 Queued
Separated Xor table types. (#883) CI #7681: Commit 4083523 pushed by Alon-Ti
November 23, 2024 04:20 Queued dev
dev
November 23, 2024 04:20 Queued
Remove redundant collect in framework. CI #7680: Pull request #896 edited by Alon-Ti
November 23, 2024 04:20 Queued alont/generalize-gen-interaction-trace4
alont/generalize-gen-interaction-trace4
November 23, 2024 04:20 Queued
Add FRI layer 0 (WIP) CI #7679: Pull request #895 synchronize by andrewmilson
November 21, 2024 18:02 1d 10h 17m 53s 11-19-Add_FRI_layer_0
11-19-Add_FRI_layer_0
November 21, 2024 18:02 1d 10h 17m 53s
Simplify expressions. CI #7678: Pull request #894 synchronize by Alon-Ti
November 20, 2024 11:49 1d 16h 30m 31s alont/simplify-expr
alont/simplify-expr
November 20, 2024 11:49 1d 16h 30m 31s
Exported shared code to temp variables in ExprEvaluator. CI #7677: Pull request #893 synchronize by Alon-Ti
November 20, 2024 11:49 1d 16h 30m 35s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 20, 2024 11:49 1d 16h 30m 35s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7676: Pull request #892 synchronize by Alon-Ti
November 20, 2024 11:49 1d 16h 30m 41s alont/formal-logup-sums
alont/formal-logup-sums
November 20, 2024 11:49 1d 16h 30m 41s
Remove redundant collect in framework. CI #7675: Pull request #896 opened by Alon-Ti
November 19, 2024 14:45 1d 13h 34m 34s alont/generalize-gen-interaction-trace4
alont/generalize-gen-interaction-trace4
November 19, 2024 14:45 1d 13h 34m 34s
Separated Xor table types. CI #7674: Pull request #883 synchronize by Alon-Ti
November 19, 2024 14:01 1d 19h 13m 18s alont/generalize-gen-interaction-trace3
alont/generalize-gen-interaction-trace3
November 19, 2024 14:01 1d 19h 13m 18s
Add FRI layer 0 (WIP) CI #7673: Pull request #895 edited by andrewmilson
November 19, 2024 13:59 22h 10m 7s 11-19-Add_FRI_layer_0
11-19-Add_FRI_layer_0
November 19, 2024 13:59 22h 10m 7s
Add FRI layer 0 (WIP) CI #7672: Pull request #895 opened by andrewmilson
November 19, 2024 13:59 22h 10m 15s 11-19-Add_FRI_layer_0
11-19-Add_FRI_layer_0
November 19, 2024 13:59 22h 10m 15s
Return opening positions and query positions per column size in FRI CI #7671: Pull request #856 synchronize by andrewmilson
November 19, 2024 13:58 21h 55m 42s 09-23-Return_opening_positions_and_query_positions_per_column_size_in_FRI
09-23-Return_opening_positions_and_query_positions_per_column_size_in_FRI
November 19, 2024 13:58 21h 55m 42s
Make CommitmentSchemeProver::prove_values take ownership CI #7670: Pull request #852 synchronize by andrewmilson
November 19, 2024 13:58 21h 55m 59s 09-23-Make_CommitmentSchemeProver_prove_values_take_ownership
09-23-Make_CommitmentSchemeProver_prove_values_take_ownership
November 19, 2024 13:58 21h 55m 59s
Separated Xor table types. CI #7669: Pull request #883 synchronize by Alon-Ti
November 19, 2024 13:57 52m 38s alont/generalize-gen-interaction-trace3
alont/generalize-gen-interaction-trace3
November 19, 2024 13:57 52m 38s
Separated Xor table types. CI #7668: Pull request #883 synchronize by Alon-Ti
November 19, 2024 13:36 44m 3s alont/generalize-gen-interaction-trace3
alont/generalize-gen-interaction-trace3
November 19, 2024 13:36 44m 3s
Simplify expressions. CI #7667: Pull request #894 synchronize by Alon-Ti
November 19, 2024 13:10 1h 8m 13s alont/simplify-expr
alont/simplify-expr
November 19, 2024 13:10 1h 8m 13s
Exported shared code to temp variables in ExprEvaluator. CI #7666: Pull request #893 synchronize by Alon-Ti
November 19, 2024 13:09 1h 9m 46s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 13:09 1h 9m 46s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7665: Pull request #892 synchronize by Alon-Ti
November 19, 2024 13:09 1h 8m 28s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 13:09 1h 8m 28s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7664: Pull request #892 edited by Alon-Ti
November 19, 2024 13:09 1h 7m 30s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 13:09 1h 7m 30s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7663: Pull request #892 synchronize by Alon-Ti
November 19, 2024 13:08 51m 34s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 13:08 51m 34s
State machine constraint string. (#889) CI #7662: Commit 77de4d7 pushed by Alon-Ti
November 19, 2024 13:08 19m 53s dev
dev
November 19, 2024 13:08 19m 53s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7661: Pull request #892 edited by Alon-Ti
November 19, 2024 13:08 19m 41s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 13:08 19m 41s
Simplify expressions. CI #7660: Pull request #894 synchronize by Alon-Ti
November 19, 2024 13:06 21m 26s alont/simplify-expr
alont/simplify-expr
November 19, 2024 13:06 21m 26s