Don't lint on push - only pull_request

This commit is contained in:
Charles Ewert 2023-03-05 20:12:46 -05:00
parent ed88caeb8d
commit 515980143f

View File

@ -1,5 +1,7 @@
name: lint
on: [push, pull_request]
on:
pull_request:
jobs:
brightscript: