Skip to content

Actions: Verified-zkEVM/CompPoly

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update Lean Project Update Lean Project #159: Scheduled
2m 11s master
master
2m 11s
feat(univariate): randomized Cantor-Zassenhaus root search Lint Style #821: Pull request #254 synchronize by olympichek
12s formal-land:gs-univariate-las-vegas
formal-land:gs-univariate-las-vegas
12s
feat(univariate): randomized Cantor-Zassenhaus root search Lean Action CI #1159: Pull request #254 synchronize by olympichek
45m 13s formal-land:gs-univariate-las-vegas
formal-land:gs-univariate-las-vegas
45m 13s
feat(univariate): randomized Cantor-Zassenhaus root search Docs Integrity #434: Pull request #254 synchronize by olympichek
11s formal-land:gs-univariate-las-vegas
formal-land:gs-univariate-las-vegas
11s
feat(univariate): randomized Cantor-Zassenhaus root search PR Summary #416: Pull request #254 synchronize by olympichek
3m 57s
3m 57s
feat(bivariate): approximant-basis and hybrid interpolation for GS decoder Docs Integrity #433: Pull request #255 opened by olympichek
10s formal-land:gs-approximant
formal-land:gs-approximant
10s
feat(bivariate): approximant-basis and hybrid interpolation for GS decoder Lint Style #820: Pull request #255 opened by olympichek
8s formal-land:gs-approximant
formal-land:gs-approximant
8s
feat(bivariate): approximant-basis and hybrid interpolation for GS decoder Lean Action CI #1158: Pull request #255 opened by olympichek
34m 35s formal-land:gs-approximant
formal-land:gs-approximant
34m 35s
feat(bivariate): approximant-basis and hybrid interpolation for GS decoder PR Review #295: Pull request #255 opened by olympichek
2s formal-land:gs-approximant
formal-land:gs-approximant
2s
feat(bivariate): approximant-basis and hybrid interpolation for GS decoder PR Summary #415: Pull request #255 opened by olympichek
3m 12s
3m 12s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder Docs Integrity #432: Pull request #252 synchronize by DimitriosMitsios
11s DimitriosMitsios:cz-root-finding
DimitriosMitsios:cz-root-finding
11s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder Lean Action CI #1157: Pull request #252 synchronize by DimitriosMitsios
24m 40s DimitriosMitsios:cz-root-finding
DimitriosMitsios:cz-root-finding
24m 40s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder Lint Style #819: Pull request #252 synchronize by DimitriosMitsios
7s DimitriosMitsios:cz-root-finding
DimitriosMitsios:cz-root-finding
7s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder PR Summary #414: Pull request #252 synchronize by DimitriosMitsios
1m 44s
1m 44s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder PR Review #294: Issue comment #252 (comment) created by DimitriosMitsios
2s
2s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder Docs Integrity #431: Pull request #252 synchronize by DimitriosMitsios
11s DimitriosMitsios:cz-root-finding
DimitriosMitsios:cz-root-finding
11s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder Lint Style #818: Pull request #252 synchronize by DimitriosMitsios
13s DimitriosMitsios:cz-root-finding
DimitriosMitsios:cz-root-finding
13s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder Lean Action CI #1156: Pull request #252 synchronize by DimitriosMitsios
24m 38s DimitriosMitsios:cz-root-finding
DimitriosMitsios:cz-root-finding
24m 38s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder PR Summary #413: Pull request #252 synchronize by DimitriosMitsios
2m 27s
2m 27s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder PR Review #293: Issue comment #252 (comment) created by olympichek
1s
1s
feat(bivariate): Lee-O'Sullivan interpolation for GS decoder (#250) Lean Action CI #1155: Commit f06b836 pushed by dhsorens
24m 15s master
master
24m 15s
feat(bivariate): Lee-O'Sullivan interpolation for GS decoder (#250) Docs Integrity #430: Commit f06b836 pushed by dhsorens
11s master
master
11s
feat(bivariate): Lee-O'Sullivan interpolation for GS decoder (#250) Lint Style #817: Commit f06b836 pushed by dhsorens
8s master
master
8s
feat(univariate): randomized Cantor-Zassenhaus root search Docs Integrity #429: Pull request #254 synchronize by olympichek
9s formal-land:gs-univariate-las-vegas
formal-land:gs-univariate-las-vegas
9s
feat(univariate): randomized Cantor-Zassenhaus root search Lint Style #816: Pull request #254 synchronize by olympichek
8s formal-land:gs-univariate-las-vegas
formal-land:gs-univariate-las-vegas
8s