Skip to content

GITBOOK-41: change request with no subject merged in GitBook #525

GITBOOK-41: change request with no subject merged in GitBook

GITBOOK-41: change request with no subject merged in GitBook #525

Workflow file for this run

name: check_xml
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
build:
name: Check the XML
runs-on: ubuntu-latest
steps:
- name: "Check out the repo"
uses: actions/checkout@v2
- name: "Check the XML files"
run: .github/workflows/check_xml.py