Skip to content

Conversation

@inmantaci
Copy link
Contributor

Pull request opened by the merge tool on behalf of #9346

# Description

follow up fix to github.com//pull/9306

# Self Check:

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

- [ ] Attached issue to pull request
- [ ] Changelog entry
- [ ] Type annotations are present
- [ ] Code is clear and sufficiently documented
- [ ] No (preventable) type errors (check using make mypy or make mypy-diff)
- [ ] Sufficient test cases (reproduces the bug/tests the requested feature)
- [ ] 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)
@inmantaci inmantaci added the merge-tool-ready This ticket is ready to be merged in label Jul 10, 2025
@inmantaci inmantaci mentioned this pull request Jul 10, 2025
9 tasks
@inmantaci
Copy link
Contributor Author

Merged into branches iso8 in 16a25d7

@inmantaci inmantaci closed this Jul 10, 2025
@inmantaci inmantaci deleted the merge-tool/9346/iso8 branch July 10, 2025 11:54
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