fix: cache test and lint build artifacts - #197

fix: cache test and lint build artifacts#197

austinletson merged 1 commit into

leanprover:mainleanprover/lean-action:mainfrom

SamuelSchlesinger:samschles/cache-after-checksSamuelSchlesinger/lean-action:samschles/cache-after-checksCopy head branch name to clipboard