Skip to content

Actions: teorth/erdosproblems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,382 workflow runs
2,382 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 README Update README #1500: completed by teorth
22s
22s
formal-conjecture-updated Update from Formal Conjectures #876: Repository dispatch triggered by teorth
34s
34s
Update problem status and last update date Update README #1499: Commit ab46a14 pushed by teorth
19s main
main
19s
Update README Update README #1498: completed by teorth
27s
27s
Update README Update README #1497: completed by teorth
30s
30s
formal-conjecture-updated Update from Formal Conjectures #875: Repository dispatch triggered by teorth
33s
33s
Update README Update README #1496: completed by teorth
23s
23s
formal-conjecture-updated Update from Formal Conjectures #874: Repository dispatch triggered by teorth
38s
38s
formal-conjecture-updated Update from Formal Conjectures #873: Repository dispatch triggered by teorth
36s
36s
Update problems.yaml Update README #1495: Commit b33233a pushed by teorth
24s main
main
24s
Update README Update README #1494: completed by teorth
24s
24s
Update status of problem 206 to 'disproved (Lean)' Update README #1493: Commit d0960c0 pushed by teorth
20s main
main
20s
formal-conjecture-updated Update from Formal Conjectures #872: Repository dispatch triggered by teorth
48s
48s
Update README Update README #1492: completed by teorth
22s
22s
formal-conjecture-updated Update from Formal Conjectures #871: Repository dispatch triggered by teorth
39s
39s
Update README Update README #1491: completed by teorth
28s
28s
formal-conjecture-updated Update from Formal Conjectures #870: Repository dispatch triggered by teorth
40s
40s
Update README Update README #1490: completed by teorth
40s
40s
formal-conjecture-updated Update from Formal Conjectures #869: Repository dispatch triggered by teorth
33s
33s
Update README Update README #1489: completed by teorth
25s
25s
formal-conjecture-updated Update from Formal Conjectures #868: Repository dispatch triggered by teorth
42s
42s
Update README Update README #1488: completed by teorth
24s
24s
formal-conjecture-updated Update from Formal Conjectures #867: Repository dispatch triggered by teorth
36s
36s
Update README Update README #1487: completed by teorth
25s
25s
formal-conjecture-updated Update from Formal Conjectures #866: Repository dispatch triggered by teorth
38s
38s