Skip to content

Add additional configuration option to allow for filtering which RE metadata keys can be read via the ZMQ API. #884

Add additional configuration option to allow for filtering which RE metadata keys can be read via the ZMQ API.

Add additional configuration option to allow for filtering which RE metadata keys can be read via the ZMQ API. #884

Workflow file for this run

name: Documentation
on: [push, pull_request]
jobs:
build:
runs-on: ubuntu-latest
strategy:
matrix:
python-version: ['3.12']
fail-fast: false
steps:
- uses: actions/checkout@v2
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v2
with:
python-version: ${{ matrix.python-version }}
- uses: shogo82148/actions-setup-redis@v1
with:
redis-version: "7.x"
- name: Install dependencies
run: |
# sudo apt install redis
# These packages are installed in the base environment but may be older
# versions. Explicitly upgrade them because they often create
# installation problems if out of date.
python -m pip install --upgrade pip setuptools numpy
pip install .
pip install -r requirements-dev.txt
pip list
- name: Build Docs
run: |
make -C docs/ html