Skip to content

Merge pull request #167 from boucadair/patch-3 #237

Merge pull request #167 from boucadair/patch-3

Merge pull request #167 from boucadair/patch-3 #237

Workflow file for this run

name: "Update Editor's Copy"
on:
push:
paths-ignore:
- README.md
- CONTRIBUTING.md
- LICENSE.md
- .gitignore
pull_request:
paths-ignore:
- README.md
- CONTRIBUTING.md
- LICENSE.md
- .gitignore
jobs:
build:
name: "Update Editor's Copy"
runs-on: ubuntu-latest
steps:
- name: "Checkout"
uses: actions/checkout@v4
- name: "Cache Setup"
id: cache-setup
run: |
mkdir -p "$HOME"/.cache/xml2rfc
echo "path=$HOME/.cache/xml2rfc" >> $GITHUB_OUTPUT
date -u "+date=%FT%T" >> $GITHUB_OUTPUT
- name: "Cache References"
uses: actions/cache@v4
with:
path: ${{ steps.cache-setup.outputs.path }}
key: refcache-${{ steps.cache-setup.outputs.date }}
restore-keys: |
refcache-${{ steps.cache-setup.outputs.date }}
refcache-
- name: "Build Drafts"
uses: martinthomson/i-d-template@v1
- name: "Update GitHub Pages"
uses: martinthomson/i-d-template@v1
if: ${{ github.event_name == 'push' }}
with:
make: gh-pages
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: "Save HTML"
uses: actions/upload-artifact@v4
with:
path: "*.html"
- name: "Save Text"
uses: actions/upload-artifact@v4
with:
path: "*.txt"