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

Expr formatting. CI #7634: Pull request #888 synchronize by Alon-Ti
November 19, 2024 11:11 59m 29s alont/formal-expr-logup1
alont/formal-expr-logup1
November 19, 2024 11:11 59m 29s
Exported shared code to temp variables in ExprEvaluator. CI #7633: Pull request #893 synchronize by Alon-Ti
November 18, 2024 16:47 19h 21m 26s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 18, 2024 16:47 19h 21m 26s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7632: Pull request #892 synchronize by Alon-Ti
November 18, 2024 16:46 18h 44m 18s alont/formal-logup-sums
alont/formal-logup-sums
November 18, 2024 16:46 18h 44m 18s
State machine constraint string. CI #7631: Pull request #889 synchronize by Alon-Ti
November 18, 2024 16:46 18h 44m 39s alont/state-machine-expr
alont/state-machine-expr
November 18, 2024 16:46 18h 44m 39s
Expr formatting. CI #7630: Pull request #888 synchronize by Alon-Ti
November 18, 2024 16:46 18h 44m 35s alont/formal-expr-logup1
alont/formal-expr-logup1
November 18, 2024 16:46 18h 44m 35s
Expr formatting. CI #7629: Pull request #888 edited by Alon-Ti
November 18, 2024 16:46 18h 44m 2s alont/formal-expr-logup1
alont/formal-expr-logup1
November 18, 2024 16:46 18h 44m 2s
Expr formatting. CI #7628: Pull request #888 synchronize by Alon-Ti
November 18, 2024 16:45 20m 45s alont/formal-expr-logup1
alont/formal-expr-logup1
November 18, 2024 16:45 20m 45s
Expr formatting. CI #7627: Pull request #888 synchronize by Alon-Ti
November 18, 2024 16:45 20m 19s alont/formal-expr-logup1
alont/formal-expr-logup1
November 18, 2024 16:45 20m 19s
Formal Expr logup variables. (#887) CI #7626: Commit 96f7025 pushed by Alon-Ti
November 18, 2024 16:45 20m 14s dev
dev
November 18, 2024 16:45 20m 14s
Expr formatting. CI #7625: Pull request #888 edited by Alon-Ti
November 18, 2024 16:45 19m 53s alont/formal-expr-logup1
alont/formal-expr-logup1
November 18, 2024 16:45 19m 53s
Exported shared code to temp variables in ExprEvaluator. CI #7624: Pull request #893 opened by Alon-Ti
November 18, 2024 16:39 25m 39s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 18, 2024 16:39 25m 39s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7623: Pull request #892 synchronize by Alon-Ti
November 18, 2024 12:17 4h 47m 59s alont/formal-logup-sums
alont/formal-logup-sums
November 18, 2024 12:17 4h 47m 59s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7622: Pull request #892 opened by Alon-Ti
November 18, 2024 12:08 4h 56m 51s alont/formal-logup-sums
alont/formal-logup-sums
November 18, 2024 12:08 4h 56m 51s
State machine constraint string. CI #7621: Pull request #889 synchronize by Alon-Ti
November 18, 2024 12:08 4h 56m 30s alont/state-machine-expr
alont/state-machine-expr
November 18, 2024 12:08 4h 56m 30s
Expr formatting. CI #7620: Pull request #888 synchronize by Alon-Ti
November 18, 2024 12:07 4h 55m 57s alont/formal-expr-logup1
alont/formal-expr-logup1
November 18, 2024 12:07 4h 55m 57s
Formal Expr logup variables. CI #7619: Pull request #887 synchronize by Alon-Ti
November 18, 2024 12:07 4h 52m 11s alont/formal-expr-logup
alont/formal-expr-logup
November 18, 2024 12:07 4h 52m 11s
Add gen_preprocessed_columns. CI #7618: Pull request #891 synchronize by ilyalesokhin-starkware
November 18, 2024 09:08 3h 28m 20s ilya/prepro
ilya/prepro
November 18, 2024 09:08 3h 28m 20s
State machine constraint string. CI #7617: Pull request #889 synchronize by Alon-Ti
November 18, 2024 07:43 4h 46m 10s alont/state-machine-expr
alont/state-machine-expr
November 18, 2024 07:43 4h 46m 10s
Expr formatting. CI #7616: Pull request #888 synchronize by Alon-Ti
November 18, 2024 07:42 4h 45m 33s alont/formal-expr-logup1
alont/formal-expr-logup1
November 18, 2024 07:42 4h 45m 33s
Formal Expr logup variables. CI #7615: Pull request #887 synchronize by Alon-Ti
November 18, 2024 07:42 4h 45m 1s alont/formal-expr-logup
alont/formal-expr-logup
November 18, 2024 07:42 4h 45m 1s
Formal Expr logup variables. CI #7614: Pull request #887 edited by Alon-Ti
November 18, 2024 07:42 4h 44m 45s alont/formal-expr-logup
alont/formal-expr-logup
November 18, 2024 07:42 4h 44m 45s
Formal Expr logup variables. CI #7613: Pull request #887 synchronize by Alon-Ti
November 18, 2024 07:42 4h 29m 38s alont/formal-expr-logup
alont/formal-expr-logup
November 18, 2024 07:42 4h 29m 38s
Formal Expr logup variables. CI #7612: Pull request #887 synchronize by Alon-Ti
November 18, 2024 07:42 24m 9s alont/formal-expr-logup
alont/formal-expr-logup
November 18, 2024 07:42 24m 9s
Separated Xor table types. CI #7611: Pull request #883 synchronize by Alon-Ti
November 18, 2024 07:42 19m 59s alont/generalize-gen-interaction-trace3
alont/generalize-gen-interaction-trace3
November 18, 2024 07:42 19m 59s
Separated Xor table types. CI #7610: Pull request #883 edited by Alon-Ti
November 18, 2024 07:42 19m 39s alont/generalize-gen-interaction-trace3
alont/generalize-gen-interaction-trace3
November 18, 2024 07:42 19m 39s