Merge pull request #950 from gusthoff/ada_idioms/editorial_changes/20… #961
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |