Skip to content

Add Docker image #40#52

Merged
mre merged 8 commits into
masterfrom
docker-image
Dec 2, 2020
Merged

Add Docker image #40#52
mre merged 8 commits into
masterfrom
docker-image

Conversation

@mre

@mre mre commented Nov 30, 2020

Copy link
Copy Markdown
Member

Adds an initial Docker image to the repo.

TODO

  • Set up automatic deployment of the image after every push to master.

@mre mre marked this pull request as ready for review November 30, 2020 22:19
@mre mre requested a review from pawroman November 30, 2020 22:19
Comment thread .github/workflows/docker.yml Outdated
Comment thread Dockerfile Outdated
Comment thread Dockerfile
Comment thread Makefile Outdated
Comment thread Dockerfile
@mre

mre commented Dec 1, 2020

Copy link
Copy Markdown
Member Author

@pawroman thanks for the review. Addressed your comments. Just two more open questions. Let me know what you think and if we're good to merge. 😃

@mre

mre commented Dec 2, 2020

Copy link
Copy Markdown
Member Author

I... guess we're clear here. Merging this in.

@mre mre merged commit 936c544 into master Dec 2, 2020
@mre mre deleted the docker-image branch December 2, 2020 22:43
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