diff options
author | Matthäus G. Chajdas <Anteru@users.noreply.github.com> | 2019-10-05 09:47:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-05 09:47:56 +0200 |
commit | 95e15c2c8fac34e418b4d8866c23fc5a7d61d1bc (patch) | |
tree | c4d1ea8789168fe345755bed0ac1ae2405b1247e /.github/workflows/build.yaml | |
parent | e89ef40611160a354d708d288e87bb7439c729dd (diff) | |
download | pygments-git-95e15c2c8fac34e418b4d8866c23fc5a7d61d1bc.tar.gz |
Run actions on push and pull requests.
Diffstat (limited to '.github/workflows/build.yaml')
-rw-r--r-- | .github/workflows/build.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 205931d1..0e8b57a3 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -1,6 +1,6 @@ name: Pygments -on: [push] +on: [push, pull_request] jobs: build: |