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.

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

Support empty list for pipelines #406

Merged
merged 4 commits into from
Jan 31, 2023
Merged

Support empty list for pipelines #406

merged 4 commits into from
Jan 31, 2023

Conversation

gabegma
Copy link
Contributor

@gabegma gabegma commented Jan 27, 2023

Resolve #335

Description:

That was tiny enough!

Checklist:

You should check all boxes before the PR is ready. If a box does not apply, check it to acknowledge it.

  • ISSUE NUMBER. You linked the issue number (Ex: Resolve #XXX).
  • PRE-COMMIT. You ran pre-commit on all commits, or else, you
    ran pre-commit run --all-files at the end.
  • USER CHANGES. The changes are added to CHANGELOG.md and the documentation, if they impact
    our users.
  • DEV CHANGES.
    • Update the documentation if this PR changes how to develop/launch on the app.
    • Update the README files and our wiki for any big design decisions, if relevant.
    • Add unit tests, docstrings, typing and comments for complex sections.

@gabegma gabegma self-assigned this Jan 27, 2023
@gabegma gabegma merged commit 14ff9a1 into main Jan 31, 2023
@gabegma gabegma deleted the ggm/support-empty-list branch January 31, 2023 16:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Handle "pipelines": [] in config
2 participants