Skip to content

ci: check OpenVMM's own CI instead of running OpenVMM's tests - #1074

Merged
Pedro Henrique Penna (ppenna) merged 3 commits into
devfrom
agents/pin-microvm-dev-branch-openvmm-ci
Oct 31, 2026
Merged

ci: check OpenVMM's own CI instead of running OpenVMM's tests#1074
Pedro Henrique Penna (ppenna) merged 3 commits into
devfrom
agents/pin-microvm-dev-branch-openvmm-ci

doc: check OpenVMM's CI of the pin when promoting it

6c8815c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar