Skip to content

Enable AOT repositories by default #5017

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
Closed
wants to merge 2 commits into from
Closed

Enable AOT repositories by default #5017

wants to merge 2 commits into from

Conversation

christophstrobl
Copy link
Member

@mp911de mp911de added the type: enhancement A general enhancement label Jul 11, 2025
@mp911de mp911de self-assigned this Jul 11, 2025
@mp911de mp911de added this to the 5.0 M4 (2025.1.0) milestone Jul 11, 2025
mp911de pushed a commit that referenced this pull request Jul 11, 2025
@christophstrobl @mp911de
Enable AOT repository generation by default.
8a9e6bf 
Original pull request: #5017
Closes #4983
mp911de added a commit that referenced this pull request Jul 11, 2025
@mp911de
Polishing.
61cbfb5 
Introduce constants and test. Update documentation.

Original pull request: #5017
See #4983
@mp911de mp911de closed this Jul 11, 2025
@mp911de mp911de deleted the issue/4983 branch July 11, 2025 14:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@mp911de mp911de

Labels
type: enhancement A general enhancement
Projects
None yet
Milestone
5.0 M4 (2025.1.0)
Development

Successfully merging this pull request may close these issues.

Enable AOT repositories by default
2 participants
@christophstrobl @mp911de