diff options
author | Harsh Shandilya <msfjarvis@gmail.com> | 2020-10-23 15:03:45 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-23 11:33:45 +0200 |
commit | 4e22df02faf8dee4a160bb8b81bec1c9418e2e01 (patch) | |
tree | 9a519fc1eab7df98706ead26865e146b34712785 /.idea/codeStyles/codeStyleConfig.xml | |
parent | 57cd2b5aa68cddb8416f28da9ed44f97d4791dd9 (diff) |
Update GitHub Actions workflows (#1169)
* github: switch all actions to their latest versions and pin by SHA1 hash
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
* github: switch back to peter-evans/create-pull-request for creating pull requests
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to '.idea/codeStyles/codeStyleConfig.xml')
0 files changed, 0 insertions, 0 deletions