Skip to content

Actions: teorth/erdosproblems

Actions

Validate data

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validate.yml
27 workflow runs
27 workflow runs

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
Add proof for the r=2 case of Problem 411 Validate data #31: Pull request #378 synchronize by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Add proof for the r=2 case of Problem 411 Validate data #30: Pull request #378 synchronize by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Refuse to rewrite problems.yaml from a partial listing Validate data #29: Pull request #383 opened by Chessing234
20s Chessing234:guard-formalization-downgrade
Chessing234:guard-formalization-downgrade
20s
Add proof for the r=2 case of Problem 411 Validate data #27: Pull request #378 synchronize by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Add proof for the r=2 case of Problem 411 Validate data #26: Pull request #378 synchronize by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Add proof for the r=2 case of Problem 411 Validate data #25: Pull request #378 synchronize by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Add proof for the r=2 case of Problem 411 Validate data #24: Pull request #378 synchronize by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Add proof for the r=2 case of Problem 411 Validate data #23: Pull request #378 synchronize by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Add proof for the r=2 case of Problem 411 Validate data #22: Pull request #378 synchronize by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Add proof for the r=2 case of Problem 411 Validate data #21: Pull request #378 synchronize by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Add proof for the r=2 case of Problem 411 Validate data #20: Pull request #378 synchronize by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Catch a hand-edited status even when the primitives also moved Validate data #19: Pull request #379 opened by Chessing234
24s Chessing234:fix/validate-detect-hand-edited-status
Chessing234:fix/validate-detect-hand-edited-status
24s
Fix stale CSV header missing 'open' column in statistics_history.csv Validate data #18: Pull request #377 synchronize by Chessing234
22s Chessing234:fix/statistics-history-csv-header
Chessing234:fix/statistics-history-csv-header
22s
Add proof for the r=2 case of Problem 411 Validate data #17: Pull request #378 opened by Tonycollatz
Action required Tonycollatz:patch-1
Tonycollatz:patch-1
Action required
Fix stale CSV header missing 'open' column in statistics_history.csv Validate data #16: Pull request #377 opened by Chessing234
24s Chessing234:fix/statistics-history-csv-header
Chessing234:fix/statistics-history-csv-header
24s
Problem 993: add OEIS A000055 (free trees); retain possible flag Validate data #14: Pull request #375 opened by Tyorden
21s Tyorden:problem-993-oeis-a000055
Tyorden:problem-993-oeis-a000055
21s
data: mark problem 265 as ambiguous statement Validate data #13: Pull request #374 opened by Chessing234
26s Chessing234:fix/problem-265-ambiguous-statement
Chessing234:fix/problem-265-ambiguous-statement
26s
data: note updated search bounds for #398 and #850 Validate data #11: Pull request #372 opened by Chessing234
26s Chessing234:fix/problem-398-search-bound
Chessing234:fix/problem-398-search-bound
26s
data: fix one impossible and 15 non-ISO date literals in problems.yaml Validate data #10: Pull request #369 opened by papanokechi
23s papanokechi:fix-505-invalid-date
papanokechi:fix-505-invalid-date
23s
Record Lean solution for Erdős Problem 593 Validate data #9: Pull request #366 opened by SamPetkov
29s SamPetkov:agent/record-lean-solution-593
SamPetkov:agent/record-lean-solution-593
29s
Erdős 608: record Lean formalization of the disproof Validate data #8: Pull request #365 opened by emersonhsieh
28s emersonhsieh:erdos-608-lean
emersonhsieh:erdos-608-lean
28s
fix: flag problem 265 as ambiguous statement Validate data #7: Pull request #364 opened by Chessing234
23s Chessing234:fix/265-ambiguous-statement
Chessing234:fix/265-ambiguous-statement
23s
fix: OEIS submitted filter + README status/OEIS filter links Validate data #6: Pull request #363 opened by Chessing234
21s Chessing234:fix/oeis-submitted-filter-and-readme-links
Chessing234:fix/oeis-submitted-filter-and-readme-links
21s
Problem 252: add OEIS A307036 and A359060 (k = 3, 4); retain possible flag Validate data #4: Pull request #360 opened by papanokechi
27s papanokechi:p252-oeis
papanokechi:p252-oeis
27s
OEIS: link A121269 to problem 877 and A347025 to problem 1023 Validate data #3: Pull request #353 opened by papanokechi
22s papanokechi:papanokechi-erdos-computational-triage
papanokechi:papanokechi-erdos-computational-triage
22s