Skip to content

Actions: teorth/erdosproblems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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 #1679: completed by teorth
27s
27s
formal-conjecture-updated Update from Formal Conjectures #1015: Repository dispatch triggered by teorth
38s
38s
Update README Update README #1678: completed by teorth
21s
21s
formal-conjecture-updated Update from Formal Conjectures #1014: Repository dispatch triggered by teorth
28s
28s
Update README Update README #1677: completed by teorth
22s
22s
formal-conjecture-updated Update from Formal Conjectures #1013: Repository dispatch triggered by teorth
30s
30s
Update README Update README #1676: completed by teorth
21s
21s
formal-conjecture-updated Update from Formal Conjectures #1012: Repository dispatch triggered by teorth
32s
32s
Update README Update README #1675: completed by teorth
21s
21s
formal-conjecture-updated Update from Formal Conjectures #1011: Repository dispatch triggered by teorth
38s
38s
Change problem status from 'disproved' to 'open' Update README #1674: Commit 40a223c pushed by teorth
23s main
main
23s
Update problem status from open to disproved Update README #1673: Commit ce5ee8e pushed by teorth
24s main
main
24s
Update README Update README #1672: completed by teorth
23s
23s
formal-conjecture-updated Update from Formal Conjectures #1010: Repository dispatch triggered by teorth
38s
38s
Update problem statuses to 'solved (Lean)' Update README #1671: Commit 7e576be pushed by teorth
27s main
main
27s
Update README Update README #1670: completed by teorth
20s
20s
formal-conjecture-updated Update from Formal Conjectures #1009: Repository dispatch triggered by teorth
37s
37s
Update README Update README #1669: completed by teorth
23s
23s
formal-conjecture-updated Update from Formal Conjectures #1008: Repository dispatch triggered by teorth
35s
35s
Update README Update README #1668: completed by teorth
21s
21s
formal-conjecture-updated Update from Formal Conjectures #1007: Repository dispatch triggered by teorth
32s
32s
Update README Update README #1667: completed by teorth
26s
26s
formal-conjecture-updated Update from Formal Conjectures #1006: Repository dispatch triggered by teorth
37s
37s
Merge pull request #307 from Jayyhk/dates Update README #1666: Commit a7dbac8 pushed by teorth
35s main
main
35s
Update README Update README #1665: completed by teorth
22s
22s