Skip to content

Conversation

Darksonn
Copy link
Contributor

The miri job takes >3 hours to run because of this file. This is since #749 that increased the size of the ledger.

@Darksonn Darksonn requested a review from taiki-e January 13, 2025 15:03
@Darksonn Darksonn merged commit a1b1208 into master Jan 13, 2025
16 checks passed
@Darksonn Darksonn deleted the alice/ledger-slow branch January 13, 2025 15:28
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