Skip to content

Actions: starkware-libs/stwo

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Exported shared code to temp variables in ExprEvaluator. CI #7659: Pull request #893 synchronize by Alon-Ti
November 19, 2024 13:06 21m 4s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 13:06 21m 4s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7658: Pull request #892 synchronize by Alon-Ti
November 19, 2024 13:06 21m 18s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 13:06 21m 18s
Simplify expressions. CI #7657: Pull request #894 synchronize by Alon-Ti
November 19, 2024 13:01 25m 38s alont/simplify-expr
alont/simplify-expr
November 19, 2024 13:01 25m 38s
Exported shared code to temp variables in ExprEvaluator. CI #7656: Pull request #893 synchronize by Alon-Ti
November 19, 2024 13:01 25m 5s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 13:01 25m 5s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7655: Pull request #892 synchronize by Alon-Ti
November 19, 2024 13:01 24m 26s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 13:01 24m 26s
Simplify expressions. CI #7654: Pull request #894 synchronize by Alon-Ti
November 19, 2024 12:55 29m 33s alont/simplify-expr
alont/simplify-expr
November 19, 2024 12:55 29m 33s
Exported shared code to temp variables in ExprEvaluator. CI #7653: Pull request #893 synchronize by Alon-Ti
November 19, 2024 12:55 28m 45s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 12:55 28m 45s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7652: Pull request #892 synchronize by Alon-Ti
November 19, 2024 12:55 24m 46s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 12:55 24m 46s
State machine constraint string. CI #7651: Pull request #889 synchronize by Alon-Ti
November 19, 2024 12:55 24m 59s alont/state-machine-expr
alont/state-machine-expr
November 19, 2024 12:55 24m 59s
Simplify expressions. CI #7650: Pull request #894 synchronize by Alon-Ti
November 19, 2024 11:58 1h 21m 27s alont/simplify-expr
alont/simplify-expr
November 19, 2024 11:58 1h 21m 27s
Exported shared code to temp variables in ExprEvaluator. CI #7649: Pull request #893 synchronize by Alon-Ti
November 19, 2024 11:58 1h 17m 32s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 11:58 1h 17m 32s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7648: Pull request #892 synchronize by Alon-Ti
November 19, 2024 11:57 1h 17m 44s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 11:57 1h 17m 44s
State machine constraint string. CI #7647: Pull request #889 synchronize by Alon-Ti
November 19, 2024 11:57 1h 18m 11s alont/state-machine-expr
alont/state-machine-expr
November 19, 2024 11:57 1h 18m 11s
State machine constraint string. CI #7646: Pull request #889 edited by Alon-Ti
November 19, 2024 11:57 1h 17m 33s alont/state-machine-expr
alont/state-machine-expr
November 19, 2024 11:57 1h 17m 33s
State machine constraint string. CI #7645: Pull request #889 synchronize by Alon-Ti
November 19, 2024 11:57 20m 54s alont/state-machine-expr
alont/state-machine-expr
November 19, 2024 11:57 20m 54s