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

Docker build #103

Merged
merged 1 commit into from
Jun 8, 2021
Merged

Docker build #103

merged 1 commit into from
Jun 8, 2021

Conversation

LennardBoediger
Copy link

Copy link
Member

@szszszsz szszszsz left a comment

Choose a reason for hiding this comment

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

Looks good! Let's discuss this one thing.

Dockerfile Outdated
# COPY avr32studio-ide-2.6.0
ARG TOOLCHAIN_LINK=https://cloud.nitrokey.com/s/a4Z2abXRjjYEzDJ/download
RUN cd / && wget ${TOOLCHAIN_LINK} -O toolchain.zip -q && \
unzip toolchain.zip && \
Copy link
Member

Choose a reason for hiding this comment

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

Can we make unzip silent? It clutters the view.

Copy link
Author

Choose a reason for hiding this comment

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

done

@LennardBoediger LennardBoediger force-pushed the docker-build branch 3 times, most recently from 960b1d6 to 555da4e Compare May 30, 2021 07:56
@szszszsz
Copy link
Member

Hi! Let me know once you are ready. Can you switch to draft in the meantime?
Please check the typo in the commit message.

@LennardBoediger LennardBoediger marked this pull request as draft May 31, 2021 09:23
@LennardBoediger
Copy link
Author

it should be ready to be merged, but there are some server issues that prevent me from doing the final test, so still on hold

@LennardBoediger
Copy link
Author

ready to merge

@LennardBoediger LennardBoediger marked this pull request as ready for review June 4, 2021 08:47
@szszszsz
Copy link
Member

szszszsz commented Jun 7, 2021

Hi! I see you are still changing the PR. Let me know once done!

@szszszsz szszszsz marked this pull request as draft June 8, 2021 06:57
@LennardBoediger
Copy link
Author

the artifacts path was wrong - now it is really ready to merge

@LennardBoediger LennardBoediger marked this pull request as ready for review June 8, 2021 11:49
Copy link
Member

@szszszsz szszszsz left a comment

Choose a reason for hiding this comment

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

Please add the documentation for the mentioned IP asap.
Merging.

- make docker-make
after_script:
- cp ./src/*.hex artifacts
- wget 188.40.174.112:8089/checkmark/$CI_COMMIT_REF_NAME/$CI_COMMIT_SHA/$CI_JOB_NAME/$CI_JOB_STATUS/${CI_JOB_URL#*/*/*/}
Copy link
Member

Choose a reason for hiding this comment

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

Is this IP documented somewhere? Why IP instead of a domain (not futureproof, as IPs are changing)?

@szszszsz szszszsz closed this in 9d17419 Jun 8, 2021
@szszszsz szszszsz merged commit 9d17419 into master Jun 8, 2021
@szszszsz szszszsz deleted the docker-build branch June 8, 2021 12:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants