Skip to content

Remove permissions and not deploy #49

Remove permissions and not deploy

Remove permissions and not deploy #49

Workflow file for this run

name: Deploy docs to Pages
# on:
# # Runs on pushes targeting the default branch
# push:
# branches: ["main"]
# paths:
# - "packages/api-server/**"
# # Allows you to run this workflow manually from the Actions tab
# workflow_dispatch:
on: push
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
# permissions:
# contents: read
# pages: write
# id-token: write
# # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
# # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
# concurrency:
# group: "pages"
# cancel-in-progress: false
jobs:
# Single deploy job since we're just deploying
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
container:
image: ghcr.io/${{ github.repository }}/minimal-rmf
credentials:
username: ${{ github.repository_owner }}
password: ${{ secrets.GITHUB_TOKEN }}
runs-on: ubuntu-latest
defaults:
run:
shell: bash
working-directory: packages/api-server
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Setup Pages
uses: actions/configure-pages@v3
- name: bootstrap
uses: ./.github/actions/bootstrap
with:
package: api-server
- name: Extract docs
run: |
. /opt/rmf/setup.bash
pnpm run generate-docs
- name: Upload artifact
uses: actions/upload-pages-artifact@v1
with:
path: packages/api-server/docs
# - name: Deploy to GitHub Pages
# id: deployment
# uses: actions/deploy-pages@v2