github-pages.yml

name: GitHub pages

on:
  # Runs on pushes targeting the default branch
  push:
    branches:
      - main

  # 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 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:
  build:
    if: github.repository == 'ruby/prism'
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4
      - name: Setup Ruby
        uses: ruby/setup-ruby@v1
        with:
          ruby-version: "3.2"
          bundler-cache: true
      - name: Set up Rust
        uses: dtolnay/rust-toolchain@master
        with:
          toolchain: "1.71.1"
      - name: Install doxygen and dependencies
        run: |
          sudo apt-get update
          sudo apt-get install doxygen graphviz
      - name: Setup Pages
        id: pages
        uses: actions/configure-pages@v5
      - name: Template source files
        run: bundle exec rake templates
      - name: Build with RDoc
        run: bundle exec rake rdoc
      - name: Build with Doxygen
        run: doxygen Doxyfile
      - name: Build with JavaDoc
        run: javadoc -Xdoclint:all,-missing -d ../doc/java -subpackages *
        working-directory: java
      - name: Build with rustdoc
        run: |
          bundle exec rake cargo:build
          cargo doc --no-deps --target-dir ../doc/rust
        working-directory: rust
      - name: Upload artifact
        uses: actions/upload-pages-artifact@v3
        with:
          path: doc

  deploy:
    environment:
      name: github-pages
      url: ${{ steps.deployment.outputs.page_url }}
    runs-on: ubuntu-latest
    needs: build
    steps:
      - name: Deploy to GitHub Pages
        id: deployment
        uses: actions/deploy-pages@v4