Skip to content

Actions: teorth/erdosproblems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,392 workflow runs
1,392 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added 1178 and OEIS to 1137 Update README #924: Commit e8c982b pushed by TFBloom
23s main
main
23s
Update README Update README #923: completed by teorth
23s
23s
formal-conjecture-updated Update from Formal Conjectures #464: Repository dispatch triggered by teorth
34s
34s
Update README Update README #922: completed by teorth
21s
21s
formal-conjecture-updated Update from Formal Conjectures #463: Repository dispatch triggered by teorth
33s
33s
Update status of problem 1140 to 'disproved' Update README #921: Commit 2da9ada pushed by teorth
23s main
main
23s
Change problem status from 'open' to 'not disprovable' Update README #920: Commit 7f336c2 pushed by teorth
24s main
main
24s
Change problem status from 'verifiable' to 'open' Update README #919: Commit ddf0ea1 pushed by teorth
25s main
main
25s
Update README Update README #918: completed by teorth
22s
22s
formal-conjecture-updated Update from Formal Conjectures #462: Repository dispatch triggered by teorth
42s
42s
Update README Update README #917: completed by teorth
22s
22s
formal-conjecture-updated Update from Formal Conjectures #461: Repository dispatch triggered by teorth
32s
32s
Merge pull request #232 from Jayyhk/1160 Update README #916: Commit a2619d2 pushed by teorth
20s main
main
20s
Change problem status from 'open' to 'verifiable' Update README #915: Commit 31cb961 pushed by teorth
24s main
main
24s
Change problem status from 'open' to 'not disprovable' Update README #914: Commit 778bafe pushed by teorth
24s main
main
24s
Update README Update README #913: completed by teorth
19s
19s
formal-conjecture-updated Update from Formal Conjectures #460: Repository dispatch triggered by teorth
31s
31s
Update README Update README #912: completed by teorth
23s
23s
formal-conjecture-updated Update from Formal Conjectures #459: Repository dispatch triggered by teorth
38s
38s
Add new problems to problems.yaml Update README #911: Commit da20a6a pushed by teorth
25s main
main
25s
Update README Update README #910: completed by teorth
22s
22s
formal-conjecture-updated Update from Formal Conjectures #458: Repository dispatch triggered by teorth
29s
29s
Correct number from '1138' to '1136' in problems.yaml Update README #909: Commit bd22efc pushed by teorth
24s main
main
24s
Update README Update README #908: completed by teorth
25s
25s
formal-conjecture-updated Update from Formal Conjectures #457: Repository dispatch triggered by teorth
37s
37s