Skip to content

Conversation

@odow
Copy link
Member

@odow odow commented Dec 19, 2023

Closes #2227

The decision to close #2227 is still up for discussion. But this PR is needed if we do decide at next week's call.

@odow odow added the Status: Needs developer call This should be discussed on a monthly developer call label Dec 19, 2023
@codecov
Copy link

codecov bot commented Dec 19, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (f5f07b5) 98.27% compared to head (d0c297a) 98.27%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #3635   +/-   ##
=======================================
  Coverage   98.27%   98.27%           
=======================================
  Files          43       43           
  Lines        5636     5636           
=======================================
  Hits         5539     5539           
  Misses         97       97           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@odow
Copy link
Member Author

odow commented Dec 19, 2023

We're at the point where we should decide a new slate of roadmap objectives, or decide to remove the page in favor of the few remaining GitHub issues.

@odow odow mentioned this pull request Dec 20, 2023
14 tasks
@odow odow merged commit 597ef39 into master Dec 28, 2023
@odow odow deleted the odow-patch-1 branch December 28, 2023 19:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Status: Needs developer call This should be discussed on a monthly developer call

Development

Successfully merging this pull request may close these issues.

Improve support for constraint programming

2 participants