Skip to content

run CI launch with docker#245

Merged
enricorotundo merged 9 commits intomainfrom
ci-launch-docker
Mar 17, 2025
Merged

run CI launch with docker#245
enricorotundo merged 9 commits intomainfrom
ci-launch-docker

Conversation

@enricorotundo
Copy link
Collaborator

@enricorotundo enricorotundo commented Mar 12, 2025

This PR adds a CI run with docker node launch. Addresses #237

@enricorotundo enricorotundo marked this pull request as ready for review March 12, 2025 16:56
@enricorotundo enricorotundo changed the title Ci launch docker CI runs launch with docker Mar 12, 2025
@enricorotundo enricorotundo changed the title CI runs launch with docker run CI launch with docker Mar 12, 2025
@enricorotundo enricorotundo merged commit c45e4ce into main Mar 17, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

1 participant