mirror of
https://github.com/logos-storage/plonky2.git
synced 2026-01-02 13:53:07 +00:00
ci: add PR check job (#1604)
This commit is contained in:
parent
4813d563d0
commit
0c21c327df
22
.github/pr_checking.yml
vendored
Normal file
22
.github/pr_checking.yml
vendored
Normal file
@ -0,0 +1,22 @@
|
||||
name: PR check
|
||||
|
||||
on:
|
||||
pull_request_target:
|
||||
types:
|
||||
- opened
|
||||
- edited
|
||||
- synchronize
|
||||
|
||||
jobs:
|
||||
title:
|
||||
name: Validate PR
|
||||
runs-on: ubuntu-latest
|
||||
if: ${{
|
||||
github.event.pull_request.author_association != 'CONTRIBUTOR' &&
|
||||
github.event.pull_request.author_association != 'MEMBER' &&
|
||||
(
|
||||
contains(fromJSON(secrets.RESTRICTED_KEYWORDS), github.event.pull_request.title) ||
|
||||
contains(fromJSON(secrets.RESTRICTED_KEYWORDS), github.event.pull_request.description
|
||||
) }}
|
||||
steps:
|
||||
- run: gh pr close
|
||||
Loading…
x
Reference in New Issue
Block a user