Skip to content

Adding section on finalization of controlled types #1108

Adding section on finalization of controlled types

Adding section on finalization of controlled types #1108

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@v2
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v2
with:
python-version: ${{ matrix.python-version }}
- name: Install GNAT FSF
run: |
sudo wget -O gnat.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.2.0-1/gnat-x86_64-linux-12.2.0-1.tar.gz && \
sudo tar xzf gnat.tar.gz && \
sudo mv gnat-* /usr/local/gnat
sudo echo "/usr/local/gnat/bin" >> $GITHUB_PATH
sudo wget -O gnatprove.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz && \
sudo tar xzf gnatprove.tar.gz && \
sudo mv gnatprove-* /usr/local/gnatprove
sudo echo "/usr/local/gnatprove/bin" >> $GITHUB_PATH
sudo wget -O gprbuild.tar.gz https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz && \
sudo tar xzf gprbuild.tar.gz && \
sudo mv gprbuild-* /usr/local/gprbuild
sudo echo "/usr/local/gprbuild/bin" >> $GITHUB_PATH
sudo rm *.tar.gz
- 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