Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
replaced github action for github's own action
Let's use github's tools when possible as they _should_ be more secure
- Loading branch information