refactor: testbed: do not upload pkg build dirs #30
tydeu
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: push
Index
/
Fetch
Matrix: Testbed / build
Waiting for pending jobs
Pages
/
Deploy
Annotations
1 error
|
Invalid workflow file:
.github/workflows/ci.yml#L25
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'.
|