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

New specs for review #1160

Closed
1 task
github-actions bot opened this issue Dec 18, 2023 · 0 comments · Fixed by #1161
Closed
1 task

New specs for review #1160

github-actions bot opened this issue Dec 18, 2023 · 0 comments · Fixed by #1161
Assignees
Labels
enhancement New feature or request

Comments

@github-actions
Copy link
Contributor

find-specs has identified the following candidates as potential new specs to consider:

Please review if they match the inclusion criteria. Those that don't and never will should be added to ignore.json, those that don't match yet but may in the future can be added to monitor-repo.json, and those that do match should be brought as a pull request on specs.json.

@github-actions github-actions bot added the enhancement New feature or request label Dec 18, 2023
@tidoust tidoust mentioned this issue Dec 19, 2023
1 task
tidoust added a commit that referenced this issue Dec 21, 2023
The spec has not yet been published and would be considered to be the
current spec in the series if we added it now.

Fixes #1160.
tidoust added a commit that referenced this issue Dec 21, 2023
The spec has not yet been published and would be considered to be the
current spec in the series if we added it now.

Fixes #1160.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants