Skip to content

Avoid bash error on undefined variable v #1234

Avoid bash error on undefined variable v

Avoid bash error on undefined variable v #1234

name: Sphinx Plugin Tests
on:
push:
paths:
- 'frontend/sphinx/tests/**'
- 'frontend/sphinx/widget/**'
pull_request:
branches:
- master
defaults:
run:
working-directory: frontend
jobs:
sphinx-plugin:
runs-on: ubuntu-22.04
strategy:
matrix:
python-version: ['3.11']
steps:
- uses: actions/checkout@v4
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v5
with:
python-version: ${{ matrix.python-version }}
- name: Install OS Deps
run: |
sudo apt-get update && \
sudo apt-get install -y \
crudini
- name: Install GNAT FSF
run: |
${GITHUB_WORKSPACE}/.github/workflows/install_toolchain.sh --gnat --gnatprove --gprbuild
- name: Increase max user watches
run: |
echo fs.inotify.max_user_watches=524288 | sudo tee -a /etc/sysctl.conf && \
sudo sysctl -p
- name: Install Python dependencies
run: |
python -m pip install --upgrade pip
pip install -r requirements.txt
- name: Test Sphinx Widget Parser Plugin
run: make test_parser