diff options
author | Harsh Shandilya <me@msfjarvis.dev> | 2020-10-10 11:59:01 +0530 |
---|---|---|
committer | Harsh Shandilya <me@msfjarvis.dev> | 2020-10-10 12:25:08 +0530 |
commit | 927f228db5045b49795dbcbfbce3a057dcf17ac9 (patch) | |
tree | ac0f13d2e7cb5a91eab06c551179c1e5b0c9712b /app/lint.xml | |
parent | 8b86f365525b566ebbf23040ff9d49fc82a93b59 (diff) |
github: update PSL workflow
- Use the pull request action utilized by GitHub for their own projects
- Switch to $GITHUB_ENV since set-env has been deprecated
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to 'app/lint.xml')
0 files changed, 0 insertions, 0 deletions