Merge experiments onto main 2025-07-03 #38
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Change-Id: Ieb3f3577749ee4569951d65b44cdaeba3ed96525
This avoids initializing the session DynFlags before storing the unit env in the cache. It might not be necessary, but it's useful to be very deliberate about this to be able to eliminate some problem origins. Change-Id: I1911041ea5feac42a6ecef3ba0d659c4b36e680a
Change-Id: I1ab88f19d45c80792e0d1113db3004362d4a95b9
Change-Id: I33d1f48a82cfd32e1d79189f50afbd6f68a907b0
Abandoning the unimplemented function `storeIface` that was intended to be an experiment with caching. Change-Id: I11187e3293738b065a72ec84724144f0943a97ee
Replacing the prior ad hoc solution Change-Id: I6f99b04c9decc3814c5dd28d037c5e0d166fc8a4
Change-Id: I47834b71bc00c42222f0eee95ca40438aa175ae4
…re state Change-Id: Icfd7a7737f4cfd1161c655aab5d1c857e9704d49
Change-Id: I1d3f13e7d34e0b06a9e9f6968cdde6ac9dbbf5db
Change-Id: Iaa2e40f934576be9375c9bf7add5d8da35c7de2e
I doubt that these are very helpful unless you're looking for something, so let's exclude this potential source of leaks in the default settings. Change-Id: I3ee75cd9e7c701a4c1f985b4e4d826c2125e4650
Change-Id: I0735488a9c3fa58c11b52ece9c2c61091c7ab27e
Change-Id: I6adb726cc89c3ef1294481910a0806f50c694ed3
Change-Id: Ib6e23b542463694685ed21259b94c07a2ad6c2bc
Change-Id: Ib55e9ccc95cd5c0dcea794a45a4868c8b3c654ed
Change-Id: I93e2175ab6ef8ee2f8d4dea927d726f505a922bf
Change-Id: Icc47c9f67788210555476179279ac5a5fc3e0d73
Change-Id: I6befaff50f63b66ead6d5b0db755ad0eac96c893
Change-Id: Ie0f58102f5084cc6562f392bab1a7cba3d71555d
Change-Id: Ie036864b000f1d47ad60fa9c73495fa81d69431d
Change-Id: Iea8bae23a92ad6143982d55a33629b262da8beaf
… all methods in one go. Change-Id: I23a413748c53830cf00f7d24ef7d15a21bf156aa
Change-Id: I45411bec41097b683976743d5c3c871eb991f982
Change-Id: I6c68c6fa12f35331637341589b18971a03d08043
Change-Id: Ie63ca41f8d68492e24c25007e68e436307e05eb3
Change-Id: I114d356a836c961e3b812476b83e2a63ee072dfd
Change-Id: I73d07735252288464a4a5354377f9f9e33018984
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Big improvements in make-mode worker