Skip to content

Comentar bloque y borrar salida del comando #29

Comentar bloque y borrar salida del comando

Comentar bloque y borrar salida del comando #29

name: Build and deploy documentation
on:
push:
# all branches
paths:
- 'documentation/**'
# This enables the Run Workflow button on the Actions tab.
workflow_dispatch:
# Set DYLAN environment variable to GITHUB_WORKSPACE so packages are
# installed in ../../_packages relative to documentation's Makefile
env:
DYLAN: ${{ github.workspace }}
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Check links
uses: addnab/docker-run-action@v3
with:
image: ghcr.io/fraya/dylan-docs
options: -v ${{ github.workspace }}/documentation:/docs
run: make linkcheck
- name: Build docs with Furo theme
uses: addnab/docker-run-action@v3
with:
image: ghcr.io/fraya/dylan-docs
options: -v ${{ github.workspace }}/documentation:/docs
run: make html
- name: Bypassing Jekyll on GH Pages
run: sudo touch documentation/build/html/.nojekyll
- name: Deploy docs to GH pages
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: documentation/build/html/