fix: fail lean-action if any command in install_elan.sh fails#143

austinletson merged 1 commit into

mainleanprover/lean-action:mainfrom

fix-elan-failure-should-cause-lean-action-to-failleanprover/lean-action:fix-elan-failure-should-cause-lean-action-to-failCopy head branch name to clipboard