Skip to content

Merge branch 'development/v3.0.1' into add-page-copyright #332

Merge branch 'development/v3.0.1' into add-page-copyright

Merge branch 'development/v3.0.1' into add-page-copyright #332

on:
- pull_request
- push
jobs:
validate-examples:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 # v3
- name: Install python dependencies
run: |
python3 -m pip install pyshacl==0.25.0 check-jsonschema==0.28.1
- name: Install dependencies
run: |
sudo apt install -y gawk
- name: Check examples
run: |
./bin/check-examples.sh