search

gazebo-tooling / action-gz-ci

MIT License
5 stars 4 forks source link

Try checking out ci_matching_branch for gzdev #46

Closed scpeters closed 2 years ago

scpeters commented 2 years ago

Code copied from release-tools#572 with the magic ${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}} copied from drake_vendor's CI configuration to return the current branch for both GitHub workflow Push and Pull-Request events.

Testing with https://github.com/ignitionrobotics/sdformat/pull/780 since it needs the ign-cmake2 2.10.0~pre1 prerelease and a matching gzdev branch:

Note that the focal workflows are failing on that PR. I'll update the focal branch once this is merged.

scpeters commented 2 years ago

LGTM. Can we keep the --depth 1?

it's complicated to switch branches when you clone with --depth 1, so I removed it here and also in https://github.com/ignition-tooling/release-tools/pull/572

I don't think gzdev is particularly large, so it seems like a small cost