Skip to content

Actions: google-deepmind/formal-conjectures

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix: update erdos_949 Check Copyright Header #2304: Pull request #1333 opened by smmercuri
9s erdos-949-fix
erdos-949-fix
9s
fix: p should be odd in new_mersenne_conjecture.variants.prime Check Copyright Header #2303: Pull request #1332 opened by smmercuri
10s mersenne-fix
mersenne-fix
10s
fix: p should be odd in new_mersenne_conjecture.variants.prime Build Lean project and deploy docs #2968: Pull request #1332 opened by smmercuri
21m 27s mersenne-fix
mersenne-fix
21m 27s
fix OmegaPowerRamsey Check Copyright Header #2302: Pull request #1331 opened by mo271
8s mo271:erdos591
mo271:erdos591
8s
fix OmegaPowerRamsey Build Lean project and deploy docs #2967: Pull request #1331 opened by mo271
27m 49s mo271:erdos591
mo271:erdos591
27m 49s
Fix definition of FloorMultiples.interleave (#1330) Notify erdosproblems of update #206: Commit aecb12c pushed by Paul-Lez
22s main
main
22s