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

Style serving #1711

Draft
wants to merge 15 commits into
base: main
Choose a base branch
from
Draft

Style serving #1711

wants to merge 15 commits into from

Conversation

CommanderStorm
Copy link
Collaborator

This is a partial PR-draft for style serving.

What is still TODO:

  • finish writing the nessesary documentation
  • further test that it works
  • self-review the code

(if someone wants to review anyway.. feel free)

CommanderStorm added a commit that referenced this pull request Mar 2, 2025
During working on #1711 I accidentally went over this method in terms of
docs.
Thought this might help future devs anyhow

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
@CommanderStorm CommanderStorm changed the base branch from main to better-feature-gates March 2, 2025 23:06
CommanderStorm added a commit that referenced this pull request Mar 2, 2025
These feature gates were accidentally forgotten.
I noticed them during working on #1711

Unsure if there is a better way to find them rather than just noticing
them

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Base automatically changed from better-feature-gates to main March 2, 2025 23:18
CommanderStorm added a commit that referenced this pull request Mar 3, 2025
…ases to reduce confusion (#1714)

The testcase that caused the confusion in
#1711 (comment) is
actually two testcases in one.
Lets split it up:
- one for assuring that directories get parsed corectly and
- one that extensions work.
@nyurik

This comment was marked as outdated.

@CommanderStorm

This comment has been minimized.

@nyurik

This comment has been minimized.

@CommanderStorm

This comment has been minimized.

@nyurik

This comment has been minimized.

@CommanderStorm

This comment has been minimized.

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.

2 participants