mirror of
https://github.com/moveit/moveit_task_constructor.git
synced 2025-09-27 00:29:13 +08:00
CI: prerelease.yaml: make ROS_DISTRO an interactive input
This commit is contained in:
parent
8ede80d26d
commit
74b1e5e5d3
16
.github/workflows/prerelease.yaml
vendored
16
.github/workflows/prerelease.yaml
vendored
@ -5,24 +5,24 @@ name: pre-release
|
||||
|
||||
on:
|
||||
workflow_dispatch:
|
||||
inputs:
|
||||
ROS_DISTRO:
|
||||
type: string
|
||||
required: true
|
||||
description: 'ROS distribution codename:'
|
||||
default: noetic
|
||||
|
||||
permissions:
|
||||
contents: read # to fetch code (actions/checkout)
|
||||
|
||||
jobs:
|
||||
default:
|
||||
strategy:
|
||||
matrix:
|
||||
distro: [noetic]
|
||||
|
||||
env:
|
||||
# https://github.com/ros-industrial/industrial_ci/issues/666
|
||||
BUILDER: catkin_make_isolated
|
||||
ROS_DISTRO: ${{ matrix.distro }}
|
||||
ROS_DISTRO: ${{ inputs.ROS_DISTRO }}
|
||||
PRERELEASE: true
|
||||
BASEDIR: ${{ github.workspace }}/.work
|
||||
|
||||
name: "${{ matrix.distro }}"
|
||||
name: "${{ inputs.ROS_DISTRO }}"
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: "Free up disk space"
|
||||
|
Loading…
Reference in New Issue
Block a user