Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Allow Runtime Config for Certain Options #4

Merged
merged 1 commit into from
Sep 14, 2023
Merged

Allow Runtime Config for Certain Options #4

merged 1 commit into from
Sep 14, 2023

Conversation

maennchen
Copy link
Member

No description provided.

@maennchen maennchen added the enhancement New feature or request label Sep 14, 2023
@maennchen maennchen added this to the v0.1.0 milestone Sep 14, 2023
@maennchen maennchen self-assigned this Sep 14, 2023
@maennchen maennchen mentioned this pull request Sep 14, 2023
Closed
24 tasks
@github-actions
Copy link

Pull Request Test Coverage Report for Build 030a36652d53db89373d6b355b1f483595615740-PR-4

  • 14 of 14 (100.0%) changed or added relevant lines in 6 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 100.0%
Totals Coverage Status
Change from base Build 0a75fb139d8e2686d1b75e0d48962323d2181673: 0.0%
Covered Lines: 118
Relevant Lines: 118
💛 - Coveralls

@maennchen maennchen merged commit b81694f into main Sep 14, 2023
7 checks passed
@maennchen maennchen deleted the runtime_config branch September 14, 2023 21:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@maennchen maennchen

Labels
enhancement New feature or request
Projects
None yet
Milestone
v0.1.0
Development

Successfully merging this pull request may close these issues.
1 participant
@maennchen