Skip to content

Applied Guiseppe's suggestion #84

Applied Guiseppe's suggestion

Applied Guiseppe's suggestion #84

Workflow file for this run

name: gh-pages
on:
# Runs on pushes targeting the default branch
push:
paths-ignore:
- README.md
- CONTRIBUTING.md
- LICENSE.md
- .gitignore
branches: ["*"]
release:
types:
- created
- edited
# 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: write
pages: write
id-token: write
# Allow one concurrent deployment
concurrency:
group: "pages"
cancel-in-progress: true
jobs:
build-and-deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
env:
BRANCH_NAME: ${{ github.head_ref || github.ref_name }}
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- uses: actions/checkout@v2
- name: install xml2rfc
run: |
pip install --upgrade pip
pip install xml2rfc
- name: Show env
run: echo "$GITHUB_CONTEXT"
- name: Create html folder
run: mkdir html
- name: Show folders
run: ls -al
- name: Show branch name
run: echo "$BRANCH_NAME"
- name: build openid federation specs
run: xml2rfc --html openid-federation-1_0.xml --out html/$BRANCH_NAME.html
- name: Deploy to GitHub Pages
if: success()
uses: crazy-max/ghaction-github-pages@v2
with:
target_branch: gh-pages
build_dir: html
keep_history: true
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}