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

ci: Add GitHub actions in dev container #11

Merged
merged 1 commit into from
Jul 3, 2024

Conversation

philipp-caspers
Copy link
Member

@philipp-caspers philipp-caspers commented Jun 14, 2024

Is needed as soon as we have some ROS2 code.

@philipp-caspers philipp-caspers changed the title ci: add GitHub actions in devcontainer ci: Add GitHub actions in devcontainer Jun 14, 2024
@philipp-caspers philipp-caspers changed the title ci: Add GitHub actions in devcontainer ci: Add GitHub actions in dev container Jun 14, 2024
@philipp-caspers philipp-caspers force-pushed the ci/add-github-actions-in-devcontainer branch from 89af354 to 23fc156 Compare June 14, 2024 12:57
@philipp-caspers philipp-caspers changed the base branch from main to chore/add-dev-container June 14, 2024 12:58
@philipp-caspers philipp-caspers force-pushed the ci/add-github-actions-in-devcontainer branch from 23fc156 to ae8b2c5 Compare July 3, 2024 11:25
@philipp-caspers philipp-caspers force-pushed the chore/add-dev-container branch 2 times, most recently from d01de80 to 364feb1 Compare July 3, 2024 11:36
@philipp-caspers philipp-caspers force-pushed the ci/add-github-actions-in-devcontainer branch from ae8b2c5 to 82c33bc Compare July 3, 2024 11:38
@philipp-caspers philipp-caspers marked this pull request as ready for review July 3, 2024 11:38
@philipp-caspers philipp-caspers force-pushed the chore/add-dev-container branch from 364feb1 to 0141277 Compare July 3, 2024 12:01
Base automatically changed from chore/add-dev-container to main July 3, 2024 12:03
@philipp-caspers philipp-caspers force-pushed the ci/add-github-actions-in-devcontainer branch 2 times, most recently from 8195b39 to 4743ec4 Compare July 3, 2024 12:07
@philipp-caspers philipp-caspers force-pushed the ci/add-github-actions-in-devcontainer branch from 4743ec4 to c6d1a14 Compare July 3, 2024 12:08
@philipp-caspers philipp-caspers added the rebase Merge this PR with rebase strategy label Jul 3, 2024
@philipp-caspers philipp-caspers merged commit 547ce76 into main Jul 3, 2024
5 checks passed
@philipp-caspers philipp-caspers deleted the ci/add-github-actions-in-devcontainer branch July 3, 2024 12:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rebase Merge this PR with rebase strategy
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants