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/jarRepositories.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/jarRepositories.xml')
0 files changed, 0 insertions, 0 deletions