mirror of
https://github.com/moveit/moveit_task_constructor.git
synced 2025-11-04 14:49:57 +08:00
Travis: disable build against MoveIt master
... due to API incompatibilities
This commit is contained in:
parent
ddd8c54b7d
commit
82e9c22e42
@ -1,6 +1,6 @@
|
|||||||
# This config file for Travis CI utilizes https://github.com/ros-planning/moveit_ci package.
|
# This config file for Travis CI utilizes https://github.com/ros-planning/moveit_ci package.
|
||||||
sudo: required
|
sudo: required
|
||||||
dist: xenial
|
dist: bionic
|
||||||
services:
|
services:
|
||||||
- docker
|
- docker
|
||||||
language: cpp
|
language: cpp
|
||||||
@ -19,7 +19,7 @@ env:
|
|||||||
matrix:
|
matrix:
|
||||||
- TEST=clang-format
|
- TEST=clang-format
|
||||||
- ROS_REPO=ros-shadow-fixed
|
- ROS_REPO=ros-shadow-fixed
|
||||||
- DOCKER_IMAGE=moveit/moveit:master-source
|
# - DOCKER_IMAGE=moveit/moveit:master-source
|
||||||
|
|
||||||
before_script:
|
before_script:
|
||||||
- git clone -q --depth=1 https://github.com/ros-planning/moveit_ci.git .moveit_ci
|
- git clone -q --depth=1 https://github.com/ros-planning/moveit_ci.git .moveit_ci
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user