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.

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

Jump to bottom

Update pyproject and CI. #8

Merged
merged 5 commits into from
Nov 27, 2023
Merged

Update pyproject and CI. #8

merged 5 commits into from
Nov 27, 2023

Conversation

jfng
Copy link
Member

@jfng jfng commented Nov 27, 2023

jfng added 5 commits November 27, 2023 14:41
@jfng
Update .gitignore.
cecf57c
@jfng
pyproject: update to require Python 3.8+ (same as Amaranth).
a748cef
@jfng
Bring __version__ retrieval up to date. NFCI
1ece2dd 
Because `importlib.metadata.PackageNotFoundError` inherits from
`ImportError`, the code did not previously work in the way that was
stated in the comment. We should probably deprecate `__version__`
entirely at some point.
@jfng
pyproject: synchronize with Amaranth.
ce8b6ef
@jfng
CI: remove test against Amaranth 0.3.
5c0a19b
@jfng jfng requested a review from whitequark November 27, 2023 14:25
whitequark
whitequark approved these changes Nov 27, 2023
View reviewed changes
Copy link
Member

@whitequark whitequark left a comment

Choose a reason for hiding this comment

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

Thanks!

@whitequark whitequark merged commit a231c4c into amaranth-lang:main Nov 27, 2023
2 checks passed
@jfng jfng deleted the update-pyproject-ci branch November 27, 2023 15:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@whitequark whitequark whitequark approved these changes

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jfng @whitequark