Skip to content

Mention "expires" in push registration #39

Mention "expires" in push registration

Mention "expires" in push registration #39

Workflow file for this run

name: Build and publish document
on:
push:
branches: [main]
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write
jobs:
validate:
name: Validate XML samples
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: sudo apt-get update && sudo apt-get install -q xmlstarlet
- run: (cd xml; ./validate.sh)
build:
needs: validate
name: Generate HTML/TXT
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/cache@v4
with:
path: |
$HOME/.local/share/gem
.refcache
key: webdav-push.mkd
- name: Install packages
run: sudo gem install kramdown-rfc && sudo apt-get install --no-install-recommends -y xml2rfc
- name: Prepare output directory
run: mkdir build
- name: Kramdown to XML
run: kramdown-rfc2629 webdav-push.mkd >build/draft-bitfire-webdav-push-00.xml
- name: XML to HTML
run: (cd build; xml2rfc --html draft-bitfire-webdav-push-00.xml)
- name: XML to TXT
run: (cd build; xml2rfc --text draft-bitfire-webdav-push-00.xml)
- uses: actions/upload-pages-artifact@v3
with:
path: build
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
needs: build
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4