Skip to content

Workaround for duplicate models for pit_crew #1091

Workaround for duplicate models for pit_crew

Workaround for duplicate models for pit_crew #1091

Workflow file for this run

name: build
on:
pull_request:
push:
branches:
- main
workflow_dispatch:
schedule:
- cron: '0 0 1 * *'
jobs:
build_and_test:
name: rmf_traffic_editor
uses: open-rmf/rmf_ci_templates/.github/workflows/reusable_build.yaml@main
with:
# 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