Skip to content

deploy: remove Vagrant pinning#266

Merged
Wenzel merged 2 commits intoIntelLabs:masterfrom
Wenzel:remove_vagrant_pinning
Jan 5, 2024
Merged

deploy: remove Vagrant pinning#266
Wenzel merged 2 commits intoIntelLabs:masterfrom
Wenzel:remove_vagrant_pinning

Conversation

@Wenzel
Copy link
Copy Markdown
Contributor

@Wenzel Wenzel commented Jan 5, 2024

Following IntelLabs/kafl.targets#36

We don't need to pin Vagrant to 2.3.6 anymore

@Wenzel Wenzel merged commit e244b8a into IntelLabs:master Jan 5, 2024
@Wenzel Wenzel deleted the remove_vagrant_pinning branch January 5, 2024 12:24
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.

1 participant