Skip to content

use a bigger compilation cache in the compile-queries workflow#14410

Merged
erik-krogh merged 1 commit intogithub:mainfrom
erik-krogh:bigger-compilation-cache
Oct 12, 2023
Merged

use a bigger compilation cache in the compile-queries workflow#14410
erik-krogh merged 1 commit intogithub:mainfrom
erik-krogh:bigger-compilation-cache

Conversation

@erik-krogh
Copy link
Copy Markdown
Contributor

@erik-krogh erik-krogh commented Oct 9, 2023

The compilation cache ran out of space when we compile all queries.

With this change the compile-queries workflow should become much faster in the best-case.

@erik-krogh erik-krogh force-pushed the bigger-compilation-cache branch from 6c0bef0 to ef63d9d Compare October 9, 2023 12:17
@erik-krogh erik-krogh marked this pull request as ready for review October 9, 2023 12:19
@erik-krogh erik-krogh requested a review from a team as a code owner October 9, 2023 12:19
@erik-krogh erik-krogh requested a review from aibaars October 12, 2023 08:35
@erik-krogh erik-krogh merged commit 59c43c7 into github:main Oct 12, 2023
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