Skip to content

Fix badges in README #375

Fix badges in README

Fix badges in README #375

name: "Check Page for Warnings (PR)"
on:
workflow_dispatch:
pull_request:
jobs:
build-singleversion-halt-on-warnings:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: actions/setup-python@v5
with:
python-version: '3.10'
cache: 'pip'
- name: Install Python dependencies
run: |
python -m pip install --upgrade pip
pip install --upgrade --requirement requirements.txt
shell: bash
- name: Install generate_parameter_library
run: |
cd
git clone https://github.com/PickNikRobotics/generate_parameter_library.git
cd generate_parameter_library/generate_parameter_library_py/
python -m pip install .
shell: bash
- name: Restore stats
uses: actions/cache/restore@v4
with:
key: reviewer-stats-${{ github.run_id }}
restore-keys: |
reviewer-stats
path: ~/reviews
- name: Build single version considering warnings as errors
run: |
git config --local user.email "[email protected]"
git config --local user.name "GitHub Action"
make html-all-subrepos-with-errors