Skip to content

Commit

Permalink
Merge pull request #2567 from w3c/tidy-on-demand
Browse files Browse the repository at this point in the history
Add github action to tidy the spec
  • Loading branch information
dontcallmedom committed Aug 27, 2020
2 parents 81b90c1 + 5363b11 commit a0417b7
Showing 1 changed file with 32 additions and 0 deletions.
32 changes: 32 additions & 0 deletions .github/workflows/tidy.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
name: tidy-up spec

on: workflow_dispatch

jobs:
tidy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Download HTML5 Tidy 5.4
run: wget https://github.com/htacg/tidy-html5/releases/download/5.4.0/tidy-5.4.0-64bit.deb
- name: Install tidy
run: sudo dpkg -i tidy-5.4.0-64bit.deb
- name: Run it
run: >-
tidy
--char-encoding utf8
--indent yes
--indent-spaces 2
--wrap 80
--tidy-mark no
-m
webrtc.htm
- uses: peter-evans/create-pull-request@v2
env:
GITHUB_TOKEN: ${{ secrets.W3C_GITHUB_TOKEN }}
with:
title: Fix indenting
commit-message: "With indenting with tidy"
draft: true
labels: Editorial
branch: tidy-${{GITHUB_RUN_NUMBER}}

0 comments on commit a0417b7

Please sign in to comment.