Merge pull request #122 from selfissued/mbj-signed-jwk-set-jwt-kid #101

	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 }}

Provide feedback