Skip to content

ci: pin latest Libvmi master commit#94

Merged
Wenzel merged 1 commit intomasterfrom
ci/latest_libvmi_pin
Nov 13, 2024
Merged

ci: pin latest Libvmi master commit#94
Wenzel merged 1 commit intomasterfrom
ci/latest_libvmi_pin

Conversation

@Wenzel
Copy link
Member

@Wenzel Wenzel commented Nov 13, 2024

No description provided.

@Wenzel Wenzel merged commit b30740a into master Nov 13, 2024
@Wenzel Wenzel deleted the ci/latest_libvmi_pin branch November 13, 2024 14:23
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