Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

feat: add functions to Backend trait to set options #44

Merged
merged 3 commits into from
Apr 8, 2024

Conversation

ErinvanderVeen
Copy link

@ErinvanderVeen ErinvanderVeen commented Apr 3, 2024

Include Nixtract options

Issue: #37

Description

This PR adds functions to the Backend trait to set two options. We add it to the trait because we don't know how future implementors of the Backend trait will store these options.

Checklist

Checklist before merging:

  • CHANGELOG.md updated
  • README.md up-to-date

@ErinvanderVeen ErinvanderVeen marked this pull request as ready for review April 8, 2024 12:32
@ErinvanderVeen ErinvanderVeen merged commit 5f7834a into master Apr 8, 2024
9 checks passed
@ErinvanderVeen ErinvanderVeen deleted the nixtract-options branch April 8, 2024 14:15
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants