mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 22:58:07 +02:00
Code Activity

Merge pull request #15103 from timvandermeij/permissions

Browse source 
chore: Set permissions for GitHub actions
This commit is contained in:
Tim van der Meij 2022-06-25 15:39:19 +02:00 • committed by GitHub
commit def1a30d3e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
.github/workflows/ci.yml vendored
View file

@ -1,5 +1,8 @@
name: CI
on: [push, pull_request]
permissions:
contents: read
jobs:
test:
name: Test

5
.github/workflows/codeql.yml vendored
View file

@ -1,13 +1,14 @@
name: CodeQL
on: [push, pull_request]
permissions:
contents: read
jobs:
analyze:
name: Analyze
runs-on: ubuntu-latest
permissions:
actions: read
contents: read
security-events: write
strategy: