pages.yaml

name: Deploy static content to Pages

on:
  push:
    branches:
      - main

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:
  deploy:
    if: github.repository == 'facebook/bpfilter'
    container: "fedora:40"
    runs-on: ubuntu-latest
    steps:
      - name: Setup Pages
        uses: actions/configure-pages@v4
      - name: Check out repository code
        uses: actions/checkout@v4
      - name: Install dependencies (Fedora)
        run: |
          sudo dnf --disablerepo=* --enablerepo=fedora,updates --setopt=install_weak_deps=False -y install \
            bison \
            bpftool \
            clang \
            clang-tools-extra \
            cmake \
            doxygen \
            flex \
            git \
            lcov \
            libasan \
            libbpf-devel \
            libnl3-devel \
            libcmocka-devel \
            libubsan \
            python3-breathe \
            python3-furo \
            python3-sphinx \
            pkgconf
      - name: Configure build
        run: cmake -S $GITHUB_WORKSPACE -B $GITHUB_WORKSPACE/build
      - name: Generate documentation
        run: make -C $GITHUB_WORKSPACE/build doc
      - name: Fix permissions
        run: |
          chmod -c -R +rX "$GITHUB_WORKSPACE/build/doc/html" | while read line; do
            echo "::warning title=Invalid file permissions automatically fixed::$line"
          done
      - name: Upload artifact
        uses: actions/upload-pages-artifact@v3
        with:
          path: build/doc/html
      - name: Deploy to GitHub Pages
        id: deployment
        uses: actions/deploy-pages@v4