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

Testing docker runtime #260

Merged
merged 5 commits into from
Jul 16, 2024
Merged

Testing docker runtime #260

merged 5 commits into from
Jul 16, 2024

Conversation

Munsio
Copy link
Contributor

@Munsio Munsio commented Jul 11, 2024

No description provided.

@Munsio Munsio force-pushed the testing-docker-runtime branch 3 times, most recently from 92f7f1e to f7b940f Compare July 11, 2024 15:15
@Munsio Munsio self-assigned this Jul 11, 2024
@Munsio Munsio added this to the v0.6.0 milestone Jul 11, 2024
@Munsio Munsio force-pushed the testing-docker-runtime branch from f7b940f to 87fb632 Compare July 11, 2024 15:39
@Munsio Munsio marked this pull request as ready for review July 16, 2024 05:58
@Munsio Munsio force-pushed the testing-docker-runtime branch 3 times, most recently from 4fb01b9 to c00dfcb Compare July 16, 2024 08:29
Dockerfile Show resolved Hide resolved
@Munsio Munsio force-pushed the testing-docker-runtime branch 2 times, most recently from 94d29c4 to 4348b5e Compare July 16, 2024 12:52
Munsio added 3 commits July 16, 2024 14:54
because the paths of the host and inside the container might differ.
By using a MultiStage build we avoid copying the whole evaluation repository into the Docker image.
Also fixed some creations of folders and permissions regarding non-docker run containers.
@Munsio Munsio force-pushed the testing-docker-runtime branch from 4348b5e to b8eb16e Compare July 16, 2024 12:54
@ruiAzevedo19
Copy link
Contributor

@Munsio Done with the review

@Munsio Munsio force-pushed the testing-docker-runtime branch from b8eb16e to 638d20d Compare July 16, 2024 14:22
@ruiAzevedo19 ruiAzevedo19 enabled auto-merge July 16, 2024 14:27
@ruiAzevedo19 ruiAzevedo19 merged commit 25e8d81 into main Jul 16, 2024
5 checks passed
@ruiAzevedo19 ruiAzevedo19 deleted the testing-docker-runtime branch July 16, 2024 14:35
@bauersimon bauersimon added the CI GitHub Actions label Jul 31, 2024
@bauersimon bauersimon mentioned this pull request Jul 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI GitHub Actions
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants