Skip to content

Fix using shipped stdlib depot#1400

Merged
giordano merged 1 commit into
masterfrom
ib/fix_depot
Aug 5, 2025
Merged

Fix using shipped stdlib depot#1400
giordano merged 1 commit into
masterfrom
ib/fix_depot

Conversation

@IanButterworth

Copy link
Copy Markdown
Member

Without this BB has to precompile stdlibs

@giordano

@giordano

Copy link
Copy Markdown
Member

Uhm, this is only relevant for the CI setup here which is still running on v1.7, no? What you're trying to fix?

@IanButterworth

Copy link
Copy Markdown
Member Author

@giordano

Copy link
Copy Markdown
Member

@IanButterworth

Copy link
Copy Markdown
Member Author

@giordano

giordano commented Aug 5, 2025

Copy link
Copy Markdown
Member

Is this still needed?

@IanButterworth

Copy link
Copy Markdown
Member Author

It's logically sound, but it didn't fix the issue I was seeing. It likely helps somewhere avoid re-precompiling stdlibs, just not sure where.

@giordano giordano merged commit d41ddc8 into master Aug 5, 2025
3 checks passed
@giordano giordano deleted the ib/fix_depot branch August 5, 2025 15:21
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.

2 participants