Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Add error for empty groups #2012

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

Draft
wants to merge 16 commits into
base: master
Choose a base branch
from
Draft

Add error for empty groups #2012

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
96ed242
Add error for empty groups
natebosch May 10, 2023
b8aabbb
Add allowEmpty config for groups
natebosch May 11, 2023
3806a9f
Merge branch 'master' into disallow-empty-groups
natebosch May 11, 2023
999cc83
Don't report for empty top level group
natebosch May 13, 2023
12b2674
Merge branch 'master' into disallow-empty-groups
natebosch May 16, 2023
97a8a5b
Merge branch 'master' into disallow-empty-groups
natebosch May 16, 2023
70f8a33
Adjust versions
natebosch May 16, 2023
8d9cacc
wip not dev
natebosch May 16, 2023
fa89895
Merge branch 'master' into disallow-empty-groups
natebosch Oct 5, 2023
bf113bd
Fix bad merge
natebosch Oct 5, 2023
4fbfe5e
Drop allowEmpty, Allow fully empty groups
natebosch Oct 11, 2023
fcf9ed9
Merge branch 'master' into disallow-empty-groups
natebosch Oct 11, 2023
63a7f39
Feature bump in test
natebosch Oct 11, 2023
421e8dc
Merge branch 'master' into disallow-empty-groups
natebosch Oct 16, 2023
e9ecaac
Test tweaks
natebosch Oct 16, 2023
13df7e3
fixup test_core constraint
natebosch Oct 16, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'master' into disallow-empty-groups
  • Loading branch information
@natebosch
natebosch committed May 16, 2023
commit 12b2674610302ed3bc1c07a72f60612992a8b4bf

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.