Skip to content

Revised Introduction chapter to clarify the purpose of the course and nature of the idiom entries. #1275

Revised Introduction chapter to clarify the purpose of the course and nature of the idiom entries.

Revised Introduction chapter to clarify the purpose of the course and nature of the idiom entries. #1275

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_frozen.txt
- name: Test Sphinx Widget Parser Plugin
run: make test_parser