Skip to content

Conversation

yvan-sraka
Copy link
Contributor

The goal of this issue is to faster #1601 build!

@yvan-sraka yvan-sraka requested a review from hamishmack August 29, 2022 11:16
@yvan-sraka yvan-sraka self-assigned this Aug 29, 2022
@yvan-sraka yvan-sraka marked this pull request as ready for review August 29, 2022 11:16
@yvan-sraka yvan-sraka merged commit de7a027 into master Aug 29, 2022
@iohk-bors iohk-bors bot deleted the yvan-sraka-patch-1 branch August 29, 2022 11:34
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