Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Produce multi-platform Docker images #811

Merged
merged 1 commit into from Apr 21, 2020

Conversation

hairyhenderson
Copy link
Owner

Signed-off-by: Dave Henderson dhenderson@gmail.com

@github-actions github-actions bot added the build label Apr 19, 2020
@hairyhenderson hairyhenderson force-pushed the multi-platform-docker-image branch 2 times, most recently from 2919463 to 1633171 Compare April 19, 2020 19:48
@hairyhenderson hairyhenderson force-pushed the multi-platform-docker-image branch 2 times, most recently from 21d6417 to da33e1c Compare April 19, 2020 20:41
Signed-off-by: Dave Henderson <dhenderson@gmail.com>
run: make docker-images
- name: determine if this is a tag
run: |
if (git describe --abbrev=0 --exact-match &>/dev/null); then
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

you don't need subshell here:

        if git describe --abbrev=0 --exact-match &>/dev/null; then

Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks @glensc - this is a holdover from many copy-pastes ago... I'll happily merge a PR if you want to make the change 😉

Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

no worries. you can leave as is as well. totally up to you.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants