songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6861 from sashashura/patch-1

This commit is contained in:
Laurent Rineau 2022-09-22 14:26:17 +02:00 committed by GitHub
parent a4a7cc173e 845caa5ee7
commit a9d5e019b7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.github/workflows/build_doc.yml vendored
View File

@ -4,9 +4,16 @@ on:
issue_comment: issue_comment:
types: [created] types: [created]
permissions:
contents: read # to fetch code (actions/checkout)
jobs: jobs:
build: build:
permissions:
contents: read # to fetch code (actions/checkout)
issues: write # to create comment
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/github-script@v6 - uses: actions/github-script@v6

5
.github/workflows/filter_testsuite.yml vendored
View File

@ -4,8 +4,13 @@ on:
issue_comment: issue_comment:
types: [created] types: [created]
permissions: {}
jobs: jobs:
build: build:
permissions:
pull-requests: read
issues: write # to create comment
if: (github.event.comment.user.login == 'sloriot' || github.event.comment.user.login == 'lrineau') && 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 runs-on: ubuntu-latest
steps: steps: