diff options
| author | Gereon Kremer <gkremer@stanford.edu> | 2021-11-30 15:10:30 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-30 23:10:30 +0000 |
| commit | 2e353ecd005e1f980c446cd043059d4523da810a (patch) | |
| tree | 4dc6519960f8108c4d6c5d8ba494b9a56daf8b7a /CONTRIBUTING.md | |
| parent | bcabf70ae1fefd2eb77c48baf9db1e2c88259622 (diff) | |
Always run update-pr (#7719)
This removes the event condition on the `update-pr` ci job. Right now, it is not run although it should.
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions