Skip to content

Added Docker build#126

Merged
fedelemantuano merged 17 commits into
developfrom
docker
Nov 7, 2024
Merged

Added Docker build#126
fedelemantuano merged 17 commits into
developfrom
docker

Conversation

@fedelemantuano
Copy link
Copy Markdown
Contributor

Added Docker build for GitHub registry and Docker Hub.

@coveralls
Copy link
Copy Markdown

coveralls commented Nov 4, 2024

Coverage Status

coverage: 91.703% (+5.5%) from 86.195%
when pulling 23f7d2b on docker
into 5340c6b on develop.

@fedelemantuano fedelemantuano merged commit 08bccc5 into develop Nov 7, 2024
@fedelemantuano fedelemantuano deleted the docker branch November 7, 2024 21:17
@fedelemantuano fedelemantuano self-assigned this Nov 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants