Skip to content

Conversation

@weinbe58
Copy link
Member

No description provided.

@weinbe58 weinbe58 added backport 0.1 backport 0.2 backport to 0.2.* labels Jul 16, 2025
@weinbe58 weinbe58 merged commit f5e6182 into main Jul 16, 2025
10 checks passed
@weinbe58 weinbe58 deleted the phil/add-positions-semantics branch July 16, 2025 23:52
weinbe58 added a commit that referenced this pull request Jul 16, 2025
* Adding  statement that generates all positions of the grid

* updating pre-commit

* run linter
weinbe58 added a commit that referenced this pull request Jul 17, 2025
* Adding  statement that generates all positions of the grid

* updating pre-commit

* run linter
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants