Skip to content
This repository was archived by the owner on Apr 16, 2026. It is now read-only.

Do not ignore errors from subprocesses#32

Open
eric-wieser wants to merge 2 commits into
mpedramfar:masterfrom
eric-wieser:patch-1
Open

Do not ignore errors from subprocesses#32
eric-wieser wants to merge 2 commits into
mpedramfar:masterfrom
eric-wieser:patch-1

Conversation

@eric-wieser

Copy link
Copy Markdown

It's not clear to me whether ignoring errors is deliberate here.

@eric-wieser eric-wieser changed the title Do not ignore errors from leanpkg build Do not ignore errors from subprocesses Aug 15, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant