This repository has been archived by the owner on Apr 19, 2024. It is now read-only.

Fix tag deployment #30

Merged

rnestler merged 1 commit into master from fix-tag-deployment

Oct 17, 2019

Contributor

rnestler commented Oct 17, 2019 •

edited

Loading

See https://circleci.com/docs/2.0/workflows/

Check the following:

Breaking changes marked in commit message
Changelog updated
Code style cleaned (ran make style-fix)
Tested on actual hardware


          Fix tag deployment

3fc03c5

See https://circleci.com/docs/2.0/workflows/

rnestler force-pushed the fix-tag-deployment branch from 721e87e to 3fc03c5 Compare

October 17, 2019 14:52

psachs approved these changes

View reviewed changes

rnestler merged commit b62a99b into master

rnestler deleted the fix-tag-deployment branch

October 17, 2019 14:58

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet