Merge pull request #120 from wenningerk/ci_stuff
a few tweaks to make life easier for ci
Description
Description
Details
Details
- Provenance
wenningerk Authored on Nov 13 2020, 4:50 AM GitHub <noreply@github.com> Committed on Nov 13 2020, 4:50 AM - Parents
- rSe213b41fea0e: build: add number of commits since version-tag to build-counter
rS5ea03e0dd46a: Merge pull request #118 from ClusterLabs/ci-updates - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes