ci: pin actions to commit SHAs and lint workflows - #38

ci: pin actions to commit SHAs and lint workflows#38

samuelburnham merged 2 commits into

mainargumentcomputer/lean-ffi:mainfrom

ci/pin-actionsargumentcomputer/lean-ffi:ci/pin-actionsCopy head branch name to clipboard