Stream: git-cranelift

Topic: cranelift / PR #1330 Verify that EBBs are non-empty


view this post on Zulip GitHub (Jan 10 2020 at 17:03):

data-pup opened PR #1330 from verify-empty-ebbs to master:

Fixes #1059.

This will return a verifier error if an empty ebb is found.

view this post on Zulip GitHub (Jan 10 2020 at 18:39):

abrown requested abrown for a review on PR #1330.

view this post on Zulip GitHub (Jan 10 2020 at 18:39):

abrown edited PR #1330 from verify-empty-ebbs to master:

Fixes #1059.

This will return a verifier error if an empty ebb is found.

view this post on Zulip GitHub (Jan 10 2020 at 18:39):

abrown submitted PR Review.

view this post on Zulip GitHub (Jan 10 2020 at 18:40):

abrown merged PR #1330.


Last updated: Nov 22 2024 at 16:03 UTC