diff --git a/.github/workflows/html.yml b/.github/workflows/html.yml new file mode 100644 index 0000000..6bc17bd --- /dev/null +++ b/.github/workflows/html.yml @@ -0,0 +1,31 @@ +name: Build + +on: + push: + branches: + - main + +jobs: + build-linux: + runs-on: ubuntu-latest + timeout-minutes: 20 + steps: + - uses: actions/checkout@v4 + + - name: Install pandoc + run: sudo apt-get install -y pandoc + + - name: Compile HTML with make/pandoc + run: make build + + - name: Configure git user + run: | + git config --global user.name 'OTP Bot' + git config --global user.email 'otp-bot@opentripplanner.org' + + - name: Push latest HTML + run: | + git add *.html + git commit -m "Add compiled HTML" + git push +