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

Gregsdennis/output spec #1385

Closed
wants to merge 6 commits into from
Closed

Gregsdennis/output spec #1385

wants to merge 6 commits into from

Conversation

gregsdennis
Copy link
Member

This is a first pass at what output as its own spec (#1320) might look like.

It also incorporates aspects of annotation filtering and output unit pruning.

I'm not expecting this to be merged. I'm just posting it for feedback.

@gregsdennis gregsdennis force-pushed the gregsdennis/output-spec branch from 2c5cc4c to e967fcb Compare August 27, 2023 23:34
@gregsdennis gregsdennis mentioned this pull request Aug 27, 2023
gregsdennis added a commit that referenced this pull request Aug 28, 2023
gregsdennis added a commit that referenced this pull request Sep 10, 2023
@gregsdennis gregsdennis deleted the gregsdennis/output-spec branch September 20, 2023 21:53
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.

1 participant