Skip to content

Conversation

@dzajkowski
Copy link
Contributor

@dzajkowski dzajkowski commented Sep 9, 2021

Update the extvm-pb nix definition to match the submodule.

@dzajkowski dzajkowski changed the title WIP Align 'mantis-extvm-pb' module in nix with submodule Sep 9, 2021
@dzajkowski dzajkowski merged commit 9c1e6db into develop Sep 9, 2021
@dzajkowski dzajkowski deleted the fix/externalvm-deps-build branch September 9, 2021 11:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants