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

Remove redundant collect in framework. Coverage #8411: 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 #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. Coverage #8410: Commit d1e2104 pushed 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
Remove redundant collect in framework. Coverage #8409: 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
Remove redundant collect in framework. Coverage #8408: Commit 3497948 pushed 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) Coverage #8407: Commit 4083523 pushed by Alon-Ti
November 23, 2024 04:20 Queued graphite-base/896
graphite-base/896
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
Separated Xor table types. (#883) Coverage #8406: Commit 4083523 pushed by Alon-Ti
November 23, 2024 04:20 Queued dev
dev
November 23, 2024 04:20 Queued
Separated Xor table types. (#883) .github/workflows/benchmarks-pages.yaml #317: 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
Separated Xor table types. Coverage #8405: Commit 5a1d139 pushed by Alon-Ti
November 23, 2024 04:20 Queued graphite-base/896
graphite-base/896
November 23, 2024 04:20 Queued
Add FRI layer 0 (WIP) Coverage #8404: 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
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
Add FRI layer 0 Coverage #8403: Commit 66e9955 pushed 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. Coverage #8402: Pull request #894 synchronize by Alon-Ti
November 20, 2024 11:49 1d 16h 30m 30s alont/simplify-expr
alont/simplify-expr
November 20, 2024 11:49 1d 16h 30m 30s
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
Simplify expressions. Coverage #8401: Commit 70aca12 pushed by Alon-Ti
November 20, 2024 11:49 1d 16h 30m 30s alont/simplify-expr
alont/simplify-expr
November 20, 2024 11:49 1d 16h 30m 30s
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
Exported shared code to temp variables in ExprEvaluator. Coverage #8400: Pull request #893 synchronize by Alon-Ti
November 20, 2024 11:49 1d 16h 30m 33s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 20, 2024 11:49 1d 16h 30m 33s
Exported shared code to temp variables in ExprEvaluator. Coverage #8399: Commit d88f160 pushed by Alon-Ti
November 20, 2024 11:49 1d 16h 30m 34s alont/formal-logup-sums-variables
alont/formal-logup-sums-variables
November 20, 2024 11:49 1d 16h 30m 34s
Added total_ and claimed_sums as formal variables in ExprEvaluator. Coverage #8398: Pull request #892 synchronize by Alon-Ti
November 20, 2024 11:49 1d 16h 30m 40s alont/formal-logup-sums
alont/formal-logup-sums
November 20, 2024 11:49 1d 16h 30m 40s
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
Added total_ and claimed_sums as formal variables in ExprEvaluator. Coverage #8397: Commit e49c0a4 pushed 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