Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 6 additions & 3 deletions .github/workflows/docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,8 @@ on:
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:

# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write

# Allow one concurrent deployment
concurrency:
Expand Down Expand Up @@ -76,6 +73,12 @@ jobs:
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ${{ github.repository_owner == 'oneapi-src' && 'intel-ubuntu-22.04' || 'ubuntu-latest' }}
needs: build

# Sets permissions to allow deployment to GitHub Pages
permissions:
pages: write
id-token: write

steps:
- name: Deploy to GitHub Pages
id: deployment
Expand Down
7 changes: 5 additions & 2 deletions .github/workflows/pr-migration-auto-close.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,12 +7,15 @@ on:
workflow_dispatch:

permissions:
pull-requests: write
issues: write
contents: read

jobs:
close-stale-prs:
runs-on: ubuntu-latest
permissions:
pull-requests: write
issues: write

steps:
- name: Close PRs labeled "auto-close"
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
Expand Down
7 changes: 5 additions & 2 deletions .github/workflows/pr-migration-warn.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,12 +7,15 @@ on:
workflow_dispatch:

permissions:
pull-requests: write
issues: write
contents: read

jobs:
label-and-comment:
runs-on: ubuntu-latest
permissions:
pull-requests: write
issues: write

steps:
- name: Label and comment on open PRs
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
Expand Down