Skip to content

Actions: google-deepmind/formal-conjectures

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,225 workflow runs
4,225 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Erdos Conjecture 386 Check Copyright Header #2316: Pull request #1239 synchronize by Marygold-Dusk
Action required Marygold-Dusk:EC_386
Marygold-Dusk:EC_386
Action required
Erdos Conjecture 386 Build Lean project and deploy docs #2981: Pull request #1239 synchronize by Marygold-Dusk
Action required Marygold-Dusk:EC_386
Marygold-Dusk:EC_386
Action required
erdos-1093 Check Copyright Header #2315: Pull request #1328 synchronize by zer-art
12s zer-art:erdos-1093
zer-art:erdos-1093
12s
erdos-1093 Build Lean project and deploy docs #2980: Pull request #1328 synchronize by zer-art
In progress zer-art:erdos-1093
zer-art:erdos-1093
In progress
Formalize Erdős Problem 1107 Check Copyright Header #2314: Pull request #1327 synchronize by zer-art
12s zer-art:formalize-erdos-1107
zer-art:formalize-erdos-1107
12s
Formalize Erdős Problem 1107 Build Lean project and deploy docs #2979: Pull request #1327 synchronize by zer-art
21m 41s zer-art:formalize-erdos-1107
zer-art:formalize-erdos-1107
21m 41s
fix .gitattributes Check Copyright Header #2313: Pull request #1335 opened by mo271
10s mo271:gitattributes_fix
mo271:gitattributes_fix
10s
fix .gitattributes Build Lean project and deploy docs #2978: Pull request #1335 opened by mo271
21m 51s mo271:gitattributes_fix
mo271:gitattributes_fix
21m 51s
Formalize Erdős Problem 1107 Check Copyright Header #2312: Pull request #1327 synchronize by zer-art
11s zer-art:formalize-erdos-1107
zer-art:formalize-erdos-1107
11s
Formalize Erdős Problem 1107 Build Lean project and deploy docs #2977: Pull request #1327 synchronize by zer-art
21m 33s zer-art:formalize-erdos-1107
zer-art:formalize-erdos-1107
21m 33s
Add Catch-Up game conjecture Check Copyright Header #2311: Pull request #1325 synchronize by mehmetmars7
Action required mehmetmars7:main
mehmetmars7:main
Action required
Add Catch-Up game conjecture Build Lean project and deploy docs #2976: Pull request #1325 synchronize by mehmetmars7
Action required mehmetmars7:main
mehmetmars7:main
Action required
Add Catch-Up game conjecture Check Copyright Header #2310: Pull request #1325 synchronize by mehmetmars7
Action required mehmetmars7:main
mehmetmars7:main
Action required
Add Catch-Up game conjecture Build Lean project and deploy docs #2975: Pull request #1325 synchronize by mehmetmars7
Action required mehmetmars7:main
mehmetmars7:main
Action required
Add Erdos Problem 884 Check Copyright Header #2309: Pull request #1248 synchronize by kesslermaximilian
Action required kesslermaximilian:erdos-884
kesslermaximilian:erdos-884
Action required
Add Erdos Problem 884 Build Lean project and deploy docs #2974: Pull request #1248 synchronize by kesslermaximilian
Action required kesslermaximilian:erdos-884
kesslermaximilian:erdos-884
Action required
fix : take x sufficiently large in erdos_442.variants.tao Check Copyright Header #2308: Pull request #1334 synchronize by smmercuri
11s erdos-442-fix
erdos-442-fix
11s
fix : take x sufficiently large in erdos_442.variants.tao Build Lean project and deploy docs #2973: Pull request #1334 synchronize by smmercuri
21m 55s erdos-442-fix
erdos-442-fix
21m 55s
fix : take x sufficiently large in erdos_442.variants.tao Build Lean project and deploy docs #2972: Pull request #1334 opened by smmercuri
24m 1s erdos-442-fix
erdos-442-fix
24m 1s
fix : take x sufficiently large in erdos_442.variants.tao Check Copyright Header #2307: Pull request #1334 opened by smmercuri
10s erdos-442-fix
erdos-442-fix
10s
fix OmegaPowerRamsey Check Copyright Header #2306: Pull request #1331 synchronize by mo271
9s mo271:erdos591
mo271:erdos591
9s
fix OmegaPowerRamsey Build Lean project and deploy docs #2971: Pull request #1331 synchronize by mo271
28m 41s mo271:erdos591
mo271:erdos591
28m 41s
fix: update erdos_949 Build Lean project and deploy docs #2970: Pull request #1333 synchronize by smmercuri
20m 40s erdos-949-fix
erdos-949-fix
20m 40s
fix: update erdos_949 Check Copyright Header #2305: Pull request #1333 synchronize by smmercuri
10s erdos-949-fix
erdos-949-fix
10s
fix: update erdos_949 Build Lean project and deploy docs #2969: Pull request #1333 opened by smmercuri
22m 9s erdos-949-fix
erdos-949-fix
22m 9s