Skip to content

Actions: starkware-libs/stwo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16,598 workflow runs
16,598 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify expressions. Coverage #8335: Pull request #894 synchronize by Alon-Ti
November 19, 2024 11:51 8m 17s alont/simplify-expr
alont/simplify-expr
November 19, 2024 11:51 8m 17s
Simplify expressions. Coverage #8334: Commit 9923962 pushed by Alon-Ti
November 19, 2024 11:51 8m 17s alont/simplify-expr
alont/simplify-expr
November 19, 2024 11:51 8m 17s
Exported shared code to temp variables in ExprEvaluator. Coverage #8333: Pull request #893 synchronize by Alon-Ti
November 19, 2024 11:51 7m 51s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 11:51 7m 51s
Exported shared code to temp variables in ExprEvaluator. CI #7640: Pull request #893 synchronize by Alon-Ti
November 19, 2024 11:51 24m 26s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 11:51 24m 26s
Exported shared code to temp variables in ExprEvaluator. Coverage #8332: Commit 86f314a pushed by Alon-Ti
November 19, 2024 11:51 7m 57s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 11:51 7m 57s
Added total_ and claimed_sums as formal variables in ExprEvaluator. Coverage #8331: Pull request #892 synchronize by Alon-Ti
November 19, 2024 11:51 8m 6s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 11:51 8m 6s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7639: Pull request #892 synchronize by Alon-Ti
November 19, 2024 11:51 24m 22s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 11:51 24m 22s
Added total_ and claimed_sums as formal variables in ExprEvaluator. Coverage #8330: Commit 229f7ab pushed by Alon-Ti
November 19, 2024 11:51 8m 2s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 11:51 8m 2s
Simplify expressions. Coverage #8329: Pull request #894 opened by Alon-Ti
November 19, 2024 11:48 10m 43s alont/simplify-expr
alont/simplify-expr
November 19, 2024 11:48 10m 43s
Simplify expressions. CI #7638: Pull request #894 opened by Alon-Ti
November 19, 2024 11:48 26m 55s alont/simplify-expr
alont/simplify-expr
November 19, 2024 11:48 26m 55s
Simplify expressions. Coverage #8328: Commit 1091abc pushed by Alon-Ti
November 19, 2024 11:48 10m 51s alont/simplify-expr
alont/simplify-expr
November 19, 2024 11:48 10m 51s
Exported shared code to temp variables in ExprEvaluator. Coverage #8327: Pull request #893 synchronize by Alon-Ti
November 19, 2024 11:11 48m 0s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 11:11 48m 0s
Exported shared code to temp variables in ExprEvaluator. CI #7637: Pull request #893 synchronize by Alon-Ti
November 19, 2024 11:11 1h 4m 14s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 11:11 1h 4m 14s
Exported shared code to temp variables in ExprEvaluator. Coverage #8326: Commit 22d6538 pushed by Alon-Ti
November 19, 2024 11:11 44m 10s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 19, 2024 11:11 44m 10s
Added total_ and claimed_sums as formal variables in ExprEvaluator. CI #7636: Pull request #892 synchronize by Alon-Ti
November 19, 2024 11:11 59m 32s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 11:11 59m 32s
Added total_ and claimed_sums as formal variables in ExprEvaluator. Coverage #8325: Pull request #892 synchronize by Alon-Ti
November 19, 2024 11:11 43m 15s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 11:11 43m 15s
Added total_ and claimed_sums as formal variables in ExprEvaluator. Coverage #8324: Commit 8750fad pushed by Alon-Ti
November 19, 2024 11:11 43m 9s alont/formal-logup-sums
alont/formal-logup-sums
November 19, 2024 11:11 43m 9s
State machine constraint string. Coverage #8323: Pull request #889 synchronize by Alon-Ti
November 19, 2024 11:11 43m 15s alont/state-machine-expr
alont/state-machine-expr
November 19, 2024 11:11 43m 15s
State machine constraint string. CI #7635: Pull request #889 synchronize by Alon-Ti
November 19, 2024 11:11 59m 19s alont/state-machine-expr
alont/state-machine-expr
November 19, 2024 11:11 59m 19s
State machine constraint string. Coverage #8322: Commit d998220 pushed by Alon-Ti
November 19, 2024 11:11 43m 4s alont/state-machine-expr
alont/state-machine-expr
November 19, 2024 11:11 43m 4s
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
Expr formatting. Coverage #8321: Pull request #888 synchronize by Alon-Ti
November 19, 2024 11:11 43m 4s alont/formal-expr-logup1
alont/formal-expr-logup1
November 19, 2024 11:11 43m 4s
Expr formatting. Coverage #8320: Commit 1caa5eb pushed by Alon-Ti
November 19, 2024 11:11 42m 50s alont/formal-expr-logup1
alont/formal-expr-logup1
November 19, 2024 11:11 42m 50s
pages build and deployment pages-build-deployment #308: by github-pages bot
November 18, 2024 17:05 51s
November 18, 2024 17:05 51s
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