mirror of https://github.com/CGAL/cgal
Merge pull request #5943 from maxGimeno/Filter_testsuite-Change_owner-maxGimeno
This commit is contained in:
commit
ebb719c8a4
|
|
@ -6,7 +6,7 @@ on:
|
|||
|
||||
jobs:
|
||||
build:
|
||||
if: github.event.comment.user.login == 'maxGimeno' && contains(github.event.comment.body, '/testme')
|
||||
if: (github.event.comment.user.login == 'sloriot' || github.event.comment.user.login == 'lrineau') && contains(github.event.comment.body, '/testme')
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/github-script@v3
|
||||
|
|
|
|||
Loading…
Reference in New Issue