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

Issue/stage 2 for 8559 #8578

Closed
wants to merge 3 commits into from
Closed

Issue/stage 2 for 8559 #8578

wants to merge 3 commits into from

Conversation

wouterdb
Copy link
Contributor

@wouterdb wouterdb commented Jan 7, 2025

Stage 2 for #8559

Basic native python types

For the documentation, I would add a separate ticket

Strike through any lines that are not applicable (`~~line~~`) then check the box

- [x] Attached issue to pull request
- [x] Changelog entry
- [x] Type annotations are present
- [x] Code is clear and sufficiently documented
- [x] No (preventable) type errors (check using make mypy or make mypy-diff)
- [x] Sufficient test cases (reproduces the bug/tests the requested feature)
- [x] Correct, in line with design
- [ ] End user documentation is included or an issue is created for end-user documentation (add ref to issue here: )
- [ ] If this PR fixes a race condition in the test suite, also push the fix to the relevant stable branche(s) (see [test-fixes](https://internal.inmanta.com/development/core/tasks/build-master.html#test-fixes) for more info)
@wouterdb wouterdb requested a review from sanderr January 7, 2025 15:25
@wouterdb wouterdb added the merge-tool-ready This ticket is ready to be merged in label Jan 8, 2025
@inmantaci
Copy link
Contributor

Processing this pull request

@inmantaci
Copy link
Contributor

Merged into branches iso7 in 7a53c98

inmantaci pushed a commit that referenced this pull request Jan 8, 2025
@inmantaci inmantaci closed this Jan 8, 2025
@inmantaci inmantaci deleted the issue/stage_2_for_8559 branch January 8, 2025 11:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge-tool-ready This ticket is ready to be merged in
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants