Skip to content

refactor: testbed: do not upload pkg build dirs #30

refactor: testbed: do not upload pkg build dirs

refactor: testbed: do not upload pkg build dirs #30

Workflow file for this run

name: CI
on:
push:
branches:
- master
- 'stage/**' # branch pattern for general changes
# Enable running 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
jobs:
index:
name: Index
uses: ./.github/workflows/index.yaml
testbed:
needs: index
name: Testbed
uses: ./.github/workflows/testbed.yaml
pages:

Check failure on line 25 in .github/workflows/ci.yml

View workflow run for this annotation

GitHub Actions / CI

Invalid workflow file

The workflow is not valid. .github/workflows/ci.yml (Line: 25, Col: 3): Error calling workflow 'leanprover/reservoir/.github/workflows/pages.yaml@6bf1f3d7f6536ed19d401459ab83b209f33a878d'. The workflow is requesting 'pull-requests: write, statuses: write', but is only allowed 'pull-requests: none, statuses: none'.
needs: [index, testbed]
name: Pages
uses: ./.github/workflows/pages.yaml