This repository has been archived by the owner on Oct 10, 2023. It is now read-only.
Use commit SHA instead of branch name for third-party actions#139
Merged
lstocchi merged 1 commit intomainfrom andreaTP-patch-3Jan 24, 2023
+8-4
