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

documentation: add experimental features flag guide to README #3567

Merged
merged 10 commits into from
Dec 4, 2024

Conversation

superlopuh
Copy link
Member

@superlopuh superlopuh commented Dec 4, 2024

Adds missing documentation to #3450

@superlopuh superlopuh added the documentation Improvements or additions to documentation label Dec 4, 2024
@superlopuh superlopuh self-assigned this Dec 4, 2024
README.md Outdated
@@ -31,7 +31,7 @@ optimization capabilities.
- [xDSL Developer Setup](#xdsl-developer-setup)
- [Developer Installation](#developer-installation)
- [Testing](#testing)
- [Formatting](#formatting)
- [Formatting](#formatting-and-typechecking)
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
- [Formatting](#formatting-and-typechecking)
- [Formatting and Typechecking](#formatting-and-typechecking)

@alexarice
Copy link
Collaborator

What does the warning look like? never seen this markdown feature before

README.md Outdated
@@ -135,6 +135,20 @@ Furthermore, all python code must run through [pyright](https://github.com/micro
without errors. Pyright can be run on all staged files through the
makefile using `make pyright`.

> [!IMPORTANT]
>
> ## Experimental Pyright Features
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks like it's being promoted to a top-level heading in the important block

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yep, Just changed to H4

README.md Outdated
>
> For xDSL to type check correctly using Pyright, please add this to your `pyproject.toml`:
>
> ``` text
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
> ``` text
> ```yaml

or at least delete the space?

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not sure if you wanted the real-time review

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

My bad this should have been toml not yaml

Copy link

codecov bot commented Dec 4, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.39%. Comparing base (d81d66d) to head (1c88997).
Report is 1 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #3567   +/-   ##
=======================================
  Coverage   90.39%   90.39%           
=======================================
  Files         467      467           
  Lines       58857    58857           
  Branches     5606     5606           
=======================================
  Hits        53206    53206           
  Misses       4207     4207           
  Partials     1444     1444           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

README.md Outdated
>
> For xDSL to type check correctly using Pyright, please add this to your `pyproject.toml`:
>
> ```yaml
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
> ```yaml
> ```toml

@superlopuh superlopuh merged commit 560b52f into main Dec 4, 2024
14 checks passed
@superlopuh superlopuh deleted the sasha/misc/experimental-readme branch December 4, 2024 10:51
EdmundGoodman pushed a commit to EdmundGoodman/xdsl that referenced this pull request Dec 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants