Skip to content

Actions: danielchin/formal-conjectures

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
818 workflow runs
818 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(ErdosProblems): 617 (#1845) Build Lean project and deploy docs #9: Commit 724eab3 pushed by danielchin
34m 51s main
main
34m 51s
feat(ErdosProblems): 617 (#1845) Notify erdosproblems of update #9: Commit 724eab3 pushed by danielchin
1s main
main
1s
chore: Add missing spaces in docstrings (#1840) Notify erdosproblems of update #8: Commit 5f51218 pushed by danielchin
2s main
main
2s
chore: Add missing spaces in docstrings (#1840) Build Lean project and deploy docs #8: Commit 5f51218 pushed by danielchin
34m 25s main
main
34m 25s
feat(ErdosProblems): 197 (#1768) Build Lean project and deploy docs #7: Commit 2c0cba4 pushed by danielchin
35m 55s main
main
35m 55s
feat(ErdosProblems): 197 (#1768) Notify erdosproblems of update #7: Commit 2c0cba4 pushed by danielchin
1s main
main
1s
feat(GreensOpenProblems): 37 (#1736) Build Lean project and deploy docs #6: Commit daec756 pushed by danielchin
31m 48s main
main
31m 48s
feat(GreensOpenProblems): 37 (#1736) Notify erdosproblems of update #6: Commit daec756 pushed by danielchin
Skipped main
main
Skipped
feat(OEIS): A000041 (#1704) Notify erdosproblems of update #5: Commit 3aeb9ca pushed by danielchin
Skipped main
main
Skipped
feat(OEIS): A000041 (#1704) Build Lean project and deploy docs #5: Commit 3aeb9ca pushed by danielchin
33m 35s main
main
33m 35s
fix(GeneralizedRiemannHypothesis): docstring fix (#1677) Build Lean project and deploy docs #4: Commit 6a55829 pushed by danielchin
33m 59s main
main
33m 59s
fix(GeneralizedRiemannHypothesis): docstring fix (#1677) Notify erdosproblems of update #4: Commit 6a55829 pushed by danielchin
1s main
main
1s
fix(ErdosProblems/859): make density vary in t (#1524) Build Lean project and deploy docs #3: Commit 8b880ee pushed by danielchin
35m 31s main
main
35m 31s
fix(ErdosProblems/859): make density vary in t (#1524) Notify erdosproblems of update #3: Commit 8b880ee pushed by danielchin
Skipped main
main
Skipped
feat(ErdosProblems): 1071 (#1611) Build Lean project and deploy docs #2: Commit 351e286 pushed by danielchin
33m 1s main
main
33m 1s
feat(ErdosProblems): 1071 (#1611) Notify erdosproblems of update #2: Commit 351e286 pushed by danielchin
1s main
main
1s
Fix Erdős 330 statement. (#1518) Notify erdosproblems of update #1: Commit 234baea pushed by danielchin
1s main
main
1s
Fix Erdős 330 statement. (#1518) Build Lean project and deploy docs #1: Commit 234baea pushed by danielchin
1h 36m 19s main
main
1h 36m 19s
ProTip! You can narrow down the results and go further in time using created:<2026-01-08 or the other filters available.