Skip to content

Workaround for duplicate models for pit_crew #14

Workaround for duplicate models for pit_crew

Workaround for duplicate models for pit_crew #14

Workflow file for this run

name: asan
on:
pull_request:
push:
branches:
- main
workflow_dispatch:
jobs:
asan_test:
name: rmf_traffic_editor asan
uses: open-rmf/rmf_ci_templates/.github/workflows/reusable_build.yaml@main
with:
dist-matrix: |
[{"ros_distribution": "humble",
"ubuntu_distribution": "jammy"}]
# NOTE: Avoid adding comments in the package lines, this can break some of the called scripts in github actions
packages: |
rmf_traffic_editor
rmf_traffic_editor_test_maps
mixin: asan