Skip to content

Bump pymdown-extensions from 10.10.1 to 10.11.1 in /.github #485

Bump pymdown-extensions from 10.10.1 to 10.11.1 in /.github

Bump pymdown-extensions from 10.10.1 to 10.11.1 in /.github #485

name: Documentation
on:
push:
branches: main
pull_request:
branches: main
permissions:
contents: read
jobs:
documentationjob:
permissions:
contents: write
runs-on: ubuntu-20.04
steps:
- name: Harden Runner
uses: step-security/harden-runner@91182cccc01eb5e619899d80e4e971d6181294a7 # v2.10.1
with:
egress-policy: audit
- uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
with:
fetch-depth: 0
submodules: recursive
- name: Install Dependencies
run: |
export BUILD_DOCU=true
bash .github/workflows/install_dependencies.sh
- name: Build Documentation and Test
run: |
GTEST_OUTPUT="xml:test_results"
colcon build --event-handlers console_direct+ --executor sequential --packages-up-to ad_rss ad_rss_map_integration --cmake-args -DCMAKE_BUILD_TYPE=Debug -DBUILD_TESTING=ON -DBUILD_COVERAGE=ON -DBUILD_APIDOC=ON
colcon test --event-handlers console_direct+ --packages-select ad_rss ad_rss_map_integration
colcon test-result
- name: Code Coverage and CodeCov
run: |
bash .github/workflows/code_coverage.sh
- name: Upload coverage as artifact
uses: actions/upload-artifact@834a144ee995460fba8ed112a2fc961b36a5ec5a # v4.3.6
with:
name: coverage_report
path: ./coverage
if-no-files-found: error
overwrite: true
- name: Documentation Deployment (Test)
run: |
mkdocs build
if [ ${{ github.event_name }} != 'pull_request' ]; then bash .github/workflows/deploy_documentation.sh true; else bash .github/workflows/deploy_documentation.sh false; fi