Skip to content

Add support for document filters #1360

Add support for document filters

Add support for document filters #1360

Workflow file for this run

name: CI
on: [push, pull_request]
jobs:
run:
runs-on: ubuntu-20.04
if: github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
steps:
- uses: actions/setup-python@v4
with:
python-version: '3.7'
- name: Initialize pip environment
run: python -m pip install pipenv
- name: Checkout repo
uses: actions/checkout@v2
with:
submodules : true
- name: Install python environment
run: pipenv install --dev
- name: Run CI
env:
PYTHONPATH: src/main/python
run: /bin/sh scripts/ci.sh