Skip to content

Improve devcontainer setup#1162

Merged
mikepenz merged 1 commit intodevelopfrom
feature/devcontainer_update
Jul 12, 2023
Merged

Improve devcontainer setup#1162
mikepenz merged 1 commit intodevelopfrom
feature/devcontainer_update

Conversation

@mikepenz
Copy link
Owner

  • improve the devcontainer by also building the pr-collector within

@mikepenz mikepenz merged commit 9f48227 into develop Jul 12, 2023
@mikepenz mikepenz deleted the feature/devcontainer_update branch July 12, 2023 19:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant