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.

Sign up for GitHub

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

Jump to bottom

merge HARDENS "classic" docker image with Simon's new docker image and publish to DockerHub #122

Open
kiniry opened this issue Sep 23, 2022 · 5 comments
Open

merge HARDENS "classic" docker image with Simon's new docker image and publish to DockerHub #122

kiniry opened this issue Sep 23, 2022 · 5 comments
Assignees
@podhrmic @SimplisticCode
Labels
docker Docker-related issues. ENHANCEMENT New feature or request On Deck
Milestone
Second Polishing ...

Comments

@kiniry
Copy link
Member

kiniry commented Sep 23, 2022

The NRC wants to ensure that a complete docker image is published for the project to guarantee reproducibility of the case study and report. I suggest the shortest path to doing so is performing the work summarized in the title of this issue. I'd like this done before our final presentation to the NRC, which is on 12 October.
@kiniry kiniry added ENHANCEMENT New feature or request docker Docker-related issues. On Deck labels Sep 23, 2022
@kiniry kiniry added this to the Task 5: Final Report milestone Sep 23, 2022
@kiniry
Copy link
Member Author

kiniry commented Sep 27, 2022

I have put in the request to IT to add @SimplisticCode to Galois's DockerHub.

@podhrmic
Copy link
Collaborator

The related PR is here: #123

@kiniry
Copy link
Member Author

kiniry commented Nov 2, 2022

I have requested a hardens repository on DockerHub from Galois IT so we can push images there. I have temporarily pushed the current image to my personal DockerHub namespace.

@kiniry kiniry linked a pull request Nov 2, 2022 that will close this issue
Updated Docker image #123
Closed
@podhrmic
Copy link
Collaborator

I think this issue can be closed - as mentioned in #123 DER has its own docker image, see https://github.com/GaloisInc/RDE_RF

@kiniry
Copy link
Member Author

kiniry commented Sep 18, 2024

I'm building the new image and will push it. That is necessary anyway for work on our other project.

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

@podhrmic podhrmic

@SimplisticCode SimplisticCode

Labels
docker Docker-related issues. ENHANCEMENT New feature or request On Deck
Projects
None yet
Milestone
Second Polishing Release
Development

Successfully merging a pull request may close this issue.

Updated Docker image GaloisInc/HARDENS
3 participants
@kiniry @podhrmic @SimplisticCode