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

Fix STATIC planner #55

Merged
merged 17 commits into from
Dec 20, 2024
Merged

Fix STATIC planner #55

merged 17 commits into from
Dec 20, 2024

Conversation

dala318
Copy link
Owner

@dala318 dala318 commented Sep 27, 2024

Mainly fixing #54

@dala318 dala318 linked an issue Sep 27, 2024 that may be closed by this pull request
8 tasks
@dala318 dala318 marked this pull request as ready for review December 18, 2024 12:20
@dala318 dala318 force-pushed the static branch 2 times, most recently from 229a56f to 5c2b3e5 Compare December 19, 2024 09:37
@dala318 dala318 merged commit 08b57da into main Dec 20, 2024
3 checks passed
@dala318 dala318 deleted the static branch December 20, 2024 13:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Do some proper work in the STATIC planner variant
1 participant