Skip to content

Actions: teorth/erdosproblems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,290 workflow runs
2,290 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 #1446: completed by teorth
18s
18s
formal-conjecture-updated Update from Formal Conjectures #838: Repository dispatch triggered by teorth
37s
37s
Modify status for problem 658 Update README #1445: Commit 0fab0e2 pushed by teorth
20s main
main
20s
Update status and last_update for problem entries Update README #1444: Commit 9a0f332 pushed by teorth
22s main
main
22s
Update README Update README #1443: completed by teorth
22s
22s
formal-conjecture-updated Update from Formal Conjectures #837: Repository dispatch triggered by teorth
34s
34s
Update README Update README #1442: completed by teorth
24s
24s
formal-conjecture-updated Update from Formal Conjectures #836: Repository dispatch triggered by teorth
37s
37s
Update problem status from 'open' to 'solved' Update README #1441: Commit efa03e7 pushed by teorth
18s main
main
18s
Merge pull request #266 from plby/patch-6 Update README #1440: Commit 4229d63 pushed by teorth
20s main
main
20s
Merge pull request #265 from pitmonticone/775-lean Update README #1439: Commit d859c6a pushed by teorth
21s main
main
21s
Merge pull request #264 from pitmonticone/aristotle-formalised-194-11… Update README #1438: Commit 05399d6 pushed by teorth
22s main
main
22s
Modify state and last update for problem 621 Update README #1437: Commit 0e915bf pushed by teorth
20s main
main
20s
Update problem status and last update date Update README #1436: Commit 47e5f1a pushed by teorth
21s main
main
21s
Update status state and last update date Update README #1435: Commit a001d8e pushed by teorth
18s main
main
18s
Update README Update README #1434: completed by teorth
23s
23s
formal-conjecture-updated Update from Formal Conjectures #835: Repository dispatch triggered by teorth
32s
32s
Update status state and last update for problem 904 Update README #1433: Commit aaff037 pushed by teorth
20s main
main
20s
Update README Update README #1432: completed by teorth
19s
19s
formal-conjecture-updated Update from Formal Conjectures #834: Repository dispatch triggered by teorth
31s
31s
Update README Update README #1431: completed by teorth
23s
23s
formal-conjecture-updated Update from Formal Conjectures #833: Repository dispatch triggered by teorth
32s
32s
Update README Update README #1430: completed by teorth
25s
25s
formal-conjecture-updated Update from Formal Conjectures #832: Repository dispatch triggered by teorth
37s
37s
Update README Update README #1429: completed by teorth
21s
21s