Skip to content

Correct robot name in tutorials index page #2563

Correct robot name in tutorials index page

Correct robot name in tutorials index page #2563

Workflow file for this run

# This is a format job. Pre-commit has a first-party GitHub action, so we use
# that: https://github.com/pre-commit/action
name: Format
on:
workflow_dispatch:
pull_request:
push:
branches:
- main
- humble
permissions:
contents: read # to fetch code (actions/checkout)
jobs:
pre-commit:
name: Format
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.10'
- name: Install clang-format-14
run: sudo apt-get install clang-format-14
- uses: pre-commit/[email protected]