v1.4.0

Added

• new test-args input to specify arguments to pass to lake test
• fixed bug where elan installation failed but lean-action continued (#143)